Representing action: indeterminacy and ramifications
From MaRDI portal
Publication:1389538
DOI10.1016/S0004-3702(97)00037-4zbMath0894.68140MaRDI QIDQ1389538
G. Neelakantan Kartha, Enrico Giunchiglia, Vladimir Lifschitz
Publication date: 30 June 1998
Published in: Artificial Intelligence (Search for Journal in Brave)
ramification problemaction languagescircumscriptionnondeterministic actionsnested abnormality theories
Related Items
Applications of Action Languages in Cognitive Robotics, Reasoning about actions with loops via Hoare logic, Approximation of action theories and its application to conformant planning, Formalizing sensing actions -- a transition function based approach, An action language for multi-agent domains, Formalizing narratives using nested circumscription, Reasoning about actions: steady versus stabilizing state constraints, Metatheory of actions: beyond consistency, Reasoning about sensing actions in domains with multi-valued fluents, A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system, Weak, strong, and strong cyclic planning via symbolic model checking, SAT-based planning in complex domains: Concurrency, constraints and nondeterminism, Contingent planning under uncertainty via stochastic satisfiability, Logic-based subsumption architecture, Conformant planning via symbolic model checking and heuristic search
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nonmonotonic logic and temporal projection
- Nonmonotonic reasoning in the framework of situation calculus
- Two counterexamples related to Baker's approach to the frame problem
- Computing circumscription revisited: A reduction algorithm
- Two components of an action language
- Nested abnormality theories
- Representing action and change by logic programs
- Representing actions in logic programs and default theories a situation calculus approach