The following pages link to (Q5633670):
Displayed 50 items.
- A deductive solution for plan generation (Q578927) (← links)
- A logical framework for depiction and image interpretation (Q582146) (← links)
- Reusing and modifying rulebases by predicate substitution (Q676430) (← links)
- Dynamical duality of type- and token-computation as an abstract brain (Q813700) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- A unifying semantics for time and events (Q814548) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Logic-based subsumption architecture (Q814558) (← links)
- Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Operators vs. arguments: The ins and outs of reification (Q857666) (← links)
- Computational representation of practical argument (Q857688) (← links)
- A preferential semantics for causal reasoning about action (Q862556) (← links)
- An algebraic framework for temporal attribute characteristics (Q862835) (← links)
- A new deductive approach to planning (Q922685) (← links)
- Understanding epistemic relevance (Q946199) (← links)
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (Q959049) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- Towards a general theory of action and time (Q1060013) (← links)
- Non-standard algorithmic and dynamic logic (Q1077159) (← links)
- Closed-world databases and circumscription (Q1079022) (← links)
- Temporal logics in AI: semantical and ontological considerations (Q1096384) (← links)
- On conceptual model specification and verification (Q1100939) (← links)
- Planning for conjunctive goals (Q1101262) (← links)
- Reasoning about action. I: A possible worlds approach (Q1103419) (← links)
- Reasoning about action. II: The qualification problem (Q1103420) (← links)
- Problems in formal temporal reasoning (Q1104773) (← links)
- Nonmonotonic logic and temporal projection (Q1108819) (← links)
- Defaults and relevance in model-based reasoning (Q1127354) (← links)
- Planning parallel actions (Q1128648) (← links)
- A logic for default reasoning (Q1140434) (← links)
- Prolegomena to a theory of mechanized formal reasoning (Q1140436) (← links)
- Extended inference modes in reasoning by computer systems (Q1140438) (← links)
- Circumscription - a form of non-monotonic reasoning (Q1140440) (← links)
- Non-monotonic logic. I (Q1140441) (← links)
- Theory construction in psychology: The interpretation and integration of psychological data (Q1157291) (← links)
- Frames in the space of situations (Q1174513) (← links)
- Nonmonotonic reasoning in the framework of situation calculus (Q1182155) (← links)
- Maintaining mental models of agents who have existential misconceptions (Q1187220) (← links)
- The validity of Dempster-Shafer belief functions (Q1190199) (← links)
- A non-reified temporal logic (Q1190791) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- A theory of abstraction (Q1199923) (← links)
- Semantic networks (Q1202620) (← links)
- The ECO family (Q1202626) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- Retrieval from context trees (Q1218292) (← links)