Representing actions in logic programs and default theories a situation calculus approach
From MaRDI portal
Publication:4352535
DOI10.1016/S0743-1066(96)00125-2zbMath0880.68010WikidataQ56048232 ScholiaQ56048232MaRDI QIDQ4352535
Publication date: 23 October 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items (20)
On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\mathcal {ALM}$$ ⋮ Applications of Action Languages in Cognitive Robotics ⋮ Toward Question Answering in Travel Domains ⋮ A New Incarnation of Action Language H ⋮ A preferential semantics for causal reasoning about action ⋮ Representing action: indeterminacy and ramifications ⋮ Modular action language ⋮ Knowledge updates: Semantics and complexity issues ⋮ Approximation of action theories and its application to conformant planning ⋮ Formalising the Fisherman's Folly puzzle ⋮ Formalizing sensing actions -- a transition function based approach ⋮ Seminormalizing a default theory ⋮ Abductive reasoning through filtering ⋮ Authorization and Obligation Policies in Dynamic Systems ⋮ The dramatic true story of the frame default ⋮ Logic programming and knowledge representation---The A-Prolog perspective ⋮ Answer set programming and plan generation ⋮ A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system ⋮ Nonmonotonic causal theories ⋮ Conditional logic of actions and causation
This page was built for publication: Representing actions in logic programs and default theories a situation calculus approach
