The following pages link to (Q4839154):
Displaying 38 items.
- Bounded situation calculus action theories (Q286407) (← links)
- John McCarthy's legacy (Q543573) (← links)
- A unifying action calculus (Q543584) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- A description logic based situation calculus (Q604908) (← 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)
- Elaboration tolerance through object-orientation (Q814560) (← links)
- A preferential semantics for causal reasoning about action (Q862556) (← links)
- A spectrum of definitions for temporal model-based diagnosis (Q1274291) (← links)
- A complete classification of tractability in Allen's algebra relative to subsets of basic relations (Q1277697) (← links)
- Ramification and causality (Q1399132) (← links)
- Twenty-one large tractable subclasses of Allen's algebra (Q1402726) (← links)
- Abductive reasoning through filtering (Q1575426) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- An information-based theory of conditionals (Q1861134) (← links)
- A general framework for reasoning about change (Q1877375) (← links)
- Reasoning about action in polynomial time (Q1978466) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- The dramatic true story of the frame default (Q2341259) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- In defense of PDDL axioms (Q2457650) (← links)
- A logic-based model of intention formation and action for multi-agent subcontracting (Q2457680) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- A Semantical Account of Progression in the Presence of Defaults (Q3637332) (← links)
- Frame problem in dynamic logic (Q3647228) (← links)
- Temporal Answer Set Programming on Finite Traces (Q4559802) (← links)
- Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084) (← links)
- Formalization of reasoning about default action (preliminary report) (Q4632322) (← links)
- Towards the assessment of logics for concurrent actions (Q4632329) (← links)
- Actions, Belief Update, and DDL (Q4982659) (← links)
- Simulation of Action Theories and an Application to General Game-Playing Robots (Q5172606) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)
