scientific article; zbMATH DE number 774417
From MaRDI portal
Publication:4839154
Recommendations
Cited in
(42)- A spectrum of definitions for temporal model-based diagnosis
- A complete classification of tractability in Allen's algebra relative to subsets of basic relations
- Ramification and causality
- Twenty-one large tractable subclasses of Allen's algebra
- Abductive reasoning through filtering
- The qualification problem: A solution to the problem of anomalous models
- An information-based theory of conditionals
- A general framework for reasoning about change
- Reasoning about action in polynomial time
- A paraconsistent approach to actions in informationally complex environments
- A verification-driven framework for iterative design of controllers
- The dramatic true story of the frame default
- Event calculus and temporal action logics compared
- In defense of PDDL axioms
- A logic-based model of intention formation and action for multi-agent subcontracting
- scientific article; zbMATH DE number 1696835 (Why is no real title available?)
- Bounded situation calculus action theories
- Applications of action languages in cognitive robotics
- A Semantical Account of Progression in the Presence of Defaults
- Frame problem in dynamic logic
- scientific article; zbMATH DE number 1536549 (Why is no real title available?)
- Temporal answer set programming on finite traces
- Non-monotonic spatial reasoning with answer set programming modulo theories
- Formalization of reasoning about default action (preliminary report)
- Towards the assessment of logics for concurrent actions
- Actions, belief update, and DDL
- Simulation of action theories and an application to general game-playing robots
- John McCarthy's legacy
- A unifying action calculus
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- Formalising the Fisherman's Folly puzzle
- McCarthy variations in a modal key
- Temporal representation and reasoning in artificial intelligence: A review
- A description logic based situation calculus
- Past-present temporal programs over finite traces
- An abductive proof procedure for reasoning about actions in modal logic programming
- Introduction: Progress in formal commonsense reasoning
- A unifying semantics for time and events
- Nonmonotonic causal theories
- Logic-based subsumption architecture
- Elaboration tolerance through object-orientation
- A preferential semantics for causal reasoning about action
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4839154)
