Representing actions in logic programs and default theories a situation calculus approach

DOI10.1016/S0743-1066(96)00125-2MaRDI QIDQ4352535zbMATH OpenWikidataFDO

Authors Hudson Turner

Publication date 23 October 1997

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(96)00125-2

zbMATH Keywords

default logiccommon sense knowledge

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1453058
• Representing action and change by logic programs
• Formalization of reasoning about default action (preliminary report)
• Situation calculus specifications for event calculus logic programs
• A logic of universal causation

Cited in

(31)

• Representing action and change by logic programs
• Authorization and Obligation Policies in Dynamic Systems
• Knowledge updates: Semantics and complexity issues
• Toward Question Answering in Travel Domains
• The dramatic true story of the frame default
• Bounded situation calculus action theories
• Formalizing sensing actions -- a transition function based approach
• On methodology of representing knowledge in dynamic domains
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• Representing action: indeterminacy and ramifications
• Applications of action languages in cognitive robotics
• Handling defeasibilities in action domains
• Answer set planning: a survey
• Situation calculus specifications for event calculus logic programs
• Formalising the Fisherman's Folly puzzle
• A language for default reasoning about actions
• A new incarnation of action language H
• Answer set programming and plan generation
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• Seminormalizing a default theory
• Approximation of action theories and its application to conformant planning
• Nonmonotonic causal theories
• On the relationship between two modular action languages: a translation from MAD into \(\mathcal {ALM}\)
• Logic programming and knowledge representation---The A-Prolog perspective
• scientific article; zbMATH DE number 6769444 (Why is no real title available?)
• Abductive reasoning through filtering
• Applying the mu-calculus in planning and reasoning about action
• Conditional logic of actions and causation
• A preferential semantics for causal reasoning about action
• Modular action language \(\mathcal{ALM}\)

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)