A language for default reasoning about actions

DOI10.1007/978-3-642-30743-0_36zbMATH Open1357.68224OpenAlexW48924529MaRDI QIDQ2900546FDOQ2900546

Authors: Hannes Strass, Michael Thielscher 

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_36

Recommendations

• Formalization of reasoning about default action (preliminary report)
• Representing action: indeterminacy and ramifications
• Specifying causality in action theories: A default logic approach
• scientific article; zbMATH DE number 1929151
• Representing actions in logic programs and default theories a situation calculus approach

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Nonmonotonic causal theories
• Title not available (Why is that?)
• Representing action and change by logic programs
• A logic for default reasoning
• Preferential reasoning for modal logics
• A logic programming approach to knowledge-state planning, semantics and complexity
• A Semantical Account of Progression in the Presence of Defaults
• A simple declarative language for describing narratives with actions
• Representing the language of the causal calculator in answer set programming

Cited In (5)

• A commonsense language for reasoning about causation and rational action
• Handling defeasibilities in action domains
• A general theory of action languages
• Advances in Artificial Intelligence
• Title not available (Why is that?)

Uses Software

• CCalc

This page was built for publication: A language for default reasoning about actions

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