Formalization of reasoning about default action (preliminary report)

DOI10.1007/3-540-61313-7_99MaRDI QIDQ4632322zbMATH OpenOpenAlexFDO

Authors Anna Maria Radzikowska

Publication date 29 April 2019

Published in Practical Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61313-7_99

zbMATH Keywords

action languagecausal actioncausal chainconcurrent actiondomain description

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Representing actions in logic programs and default theories a situation calculus approach
• Specifying causality in action theories: A default logic approach
• scientific article; zbMATH DE number 1931674
• A language for default reasoning about actions
• Ramification and causality in a modal action logic

Cites work

• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• scientific article; zbMATH DE number 928018 (Why is no real title available?)
• Nested abnormality theories
• Representing action and change by logic programs
• Two components of an action language

Cited in

(4)

• Miracles in formal theories of action
• A language for default reasoning about actions
• Representing actions in logic programs and default theories a situation calculus approach
• scientific article; zbMATH DE number 1931674 (Why is no real title available?)

This page was built for publication: Formalization of reasoning about default action (preliminary report)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4632322)