A Language for Default Reasoning about Actions

DOI10.1007/978-3-642-30743-0_36zbMath1357.68224OpenAlexW48924529MaRDI QIDQ2900546

Michael Thielscher, Hannes Strass

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Uses Software

• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Nonmonotonic causal theories
• A logic for default reasoning
• Preferential Reasoning for Modal Logics
• A Semantical Account of Progression in the Presence of Defaults
• Representing action and change by logic programs
• A simple declarative language for describing narratives with actions
• A logic programming approach to knowledge-state planning

This page was built for publication: A Language for Default Reasoning about Actions