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)
68N17: Logic programming
Related Items
Authorization and Obligation Policies in Dynamic Systems, Formalizing sensing actions -- a transition function based approach, A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system, Nonmonotonic causal theories, Conditional logic of actions and causation, A preferential semantics for causal reasoning about action, Representing action: indeterminacy and ramifications, Abductive reasoning through filtering, Logic programming and knowledge representation---The A-Prolog perspective, Answer set programming and plan generation, Knowledge updates: Semantics and complexity issues