How to Do Things with Worlds: on Formalizing Actions and Plans

DOI10.1093/logcom/3.5.517zbMath0802.68145OpenAlexW2014895071MaRDI QIDQ4286222

Gerhard Brewka, Joachim Hertzberg

Publication date: 27 March 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/3.5.517

zbMATH Keywords

causalityplanningincomplete informationreasoning about actioncloseness of worldsworld descriptions

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

Ramification and causality, A general first-order solution to the ramification problem with cycles, A methodology for iterated theory change, In defense of PDDL axioms, Propositional belief base update and minimal change, A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence, Simulation of Action Theories and an Application to General Game-Playing Robots, Actions, Belief Update, and DDL, Specifying causality in action theories: A default logic approach, Conditional logic of actions and causation