Representing actions in logic programs and default theories a situation calculus approach
From MaRDI portal
Publication:4352535
DOI10.1016/S0743-1066(96)00125-2zbMATH Open0880.68010WikidataQ56048232 ScholiaQ56048232MaRDI QIDQ4352535
Publication date: 23 October 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Cited In (25)
- Authorization and Obligation Policies in Dynamic Systems
- On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\mathcal {ALM}$$
- Knowledge updates: Semantics and complexity issues
- Toward Question Answering in Travel Domains
- The dramatic true story of the frame default
- Formalizing sensing actions -- a transition function based approach
- Bounded situation calculus action theories
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- Representing action: indeterminacy and ramifications
- Formalising the Fisherman's Folly puzzle
- Answer set programming and plan generation
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- Modular action language
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
- Seminormalizing a default theory
- Applications of Action Languages in Cognitive Robotics
- Approximation of action theories and its application to conformant planning
- A New Incarnation of Action Language H
- Nonmonotonic causal theories
- Logic programming and knowledge representation---The A-Prolog perspective
- Title not available (Why is that?)
- Applying the mu-calculus in planning and reasoning about action
- Abductive reasoning through filtering
- Conditional logic of actions and causation
- A preferential semantics for causal reasoning about action
This page was built for publication: Representing actions in logic programs and default theories a situation calculus approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4352535)
