The following pages link to (Q5633670):
Displaying 50 items.
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- Robot location estimation in the situation calculus (Q901076) (← 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)
- Property persistence in the situation calculus (Q991025) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- Plans, actions and dialogues using linear logic (Q1016033) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← 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)
- A logical theory of robot problem solving (Q1226869) (← links)
- Miracles in formal theories of action (Q1264002) (← links)
- What robots can do: robot programs and effective achievability (Q1274278) (← links)
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- The expressive power of circumscription (Q1274695) (← links)
- Reasoning about actions: steady versus stabilizing state constraints (Q1274697) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator (Q1274764) (← links)
- The logical foundations of goal-regression planning in autonomous agents (Q1277699) (← links)
- Network languages for complex systems (Q1309716) (← links)
