A Fluent Calculus Semantics for ADL with Plan Constraints

DOI10.1007/978-3-540-87803-2_13MaRDI QIDQ3532463zbMATH OpenOpenAlexFDO

Authors Conrad Drescher, Michael Thielscher

Publication date 27 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87803-2_13

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 2038893
• scientific article; zbMATH DE number 1748581
• scientific article; zbMATH DE number 2038895
• Multivalued action languages with constraints in CLP(FD)
• ADL and the State-Transition Model of Action

Cites work

• ADL and the State-Transition Model of Action
• scientific article; zbMATH DE number 2038893 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• Multivalued Action Languages with Constraints in CLP(FD)
• Reasoning robots. The art and science of programming robotic agents
• Representing action and change by logic programs
• STRIPS: A new approach to the application of theorem proving to problem solving
• The concurrent, continuous fluent calculus

Cited in

(3)

• Applying the mu-calculus in planning and reasoning about action
• KI 2003: Advances in Artificial Intelligence
• From DB-nets to Coloured Petri Nets with Priorities

This page was built for publication: A Fluent Calculus Semantics for ADL with Plan Constraints

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