Computational Autonomy and Information Systems Open Reference

Table of Contents

• Welcome
  • Welcome to this Hyperbook and Archive
  • The Name and the Strategy for the Site
  • Perspective of the Editor
  • Overview of Website Structure and Design
  • Website Structure for Webnotes
  • CAISOR Memos and Project Reports
  • Finding and Citing CAISOR
  • Acknowledgements
• Hyperbook
  • Introduction to the Hyperbook
  • Knowledge Representation
    • A Methodological Note
    • Overview of Work
    • Ambiguity Logic
    • Nonmonotonic Logic
    • Multiple Inheritance with Exceptions
    • Overview: Explicit Temporal Logics (TAL, CRL)
    • Assessments of Logics of Actions and Change
    • Action Planning
    • Hybrid, Piecewise Continuous Change
  • Cognitive Robotics
    • Logicist Modelling of Actuation
    • Formal Characterization of Goaldirected Behavior
    • Logicist Account of Decision-Making
    • Architecture of Cognitive Autonomous Systems
    • Software Individuals
  • Computation Structures
    • Predicate Calculus Database (PCDB)
    • Partial Evaluation and Applications
  • Computation Infrastructures
    • Implementations of Lisp
    • Code Generation in Compilers
  • Meta-Level Issues
    • Electronic Publication and Communication of Research
    • Methodology of Systems-Oriented Research
• Vision
  • A Vision and its Role in Long-Term CS Research
  • From Vision to Paradigm and Architecture
  • The CAISOR Paradigm
  • The Evolution of the CAISOR Paradigm
  • CAISOR Paradigm - Further Details
    • Research Areas within the CAISOR Paradigm
    • Exploratory Systems within the CAISOR Paradigm
    • CAISOR Related Theoretical Work
    • Autonomy and Automation
    • Cognitive Robotics and Reasoning about Action
  • Software Layers in the CAISA Architecture
  • CAISA Architecture - Further Details
    • The CAISA Architecture Defines Research Direction
    • Software Layers in the CAISA Architecture
    • Minimality and Conceptual Economy in CAISA
    • Lifecycle Orientation
    • The Role of Documents in the CAISA Architecture
    • Software Individuals as an Instance of CAISA
• Systems
  • Introduction to CAISOR Systems and Sites
  • The Software Individuals Architecture (SIA)
  • The Leonardo Computation System
• History
  • About the CAISOR Sequence of Projects
  • Outline of the History of the Projects
  • Details of the projects
    Uppsala group:
    • Datalogilaboratoriet i Uppsala
      Linköping groups:
    • Ämnesgruppen för Datalogi
    • Application Systems Laboratory, OIS Group
    • Lab for the Representation of Knowledge in Logic
    • Management and Knowledge Management
    • Cognitive Autonomous Systems Laboratory
      Frameworks:
    • Software Systems Research Center
    • Information Technology 4
    • Prometheus Project
    • WITAS Project on Intelligent UAV
    • Linköping University Electronic Press
• Articles
  • About the CAISOR Repository of Articles
  • About the Archive Site
    • Line of Responsibility
    • Inhouse Publication, e.g. Departmental Reports
    • How this Publication Archive is Organized
    • Persistence of CAISOR Archive Pages
    • Known and Unknown Problems
  • Individual Lists of Publications
• Index
  • Index pages for the CAISOR Website