A Fluent Calculus Semantics for ADL with Plan Constraints

DOI10.1007/978-3-540-87803-2_13zbMath1178.68537OpenAlexW1715603891MaRDI QIDQ3532463

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

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

Related Items (1)

From DB-nets to Coloured Petri Nets with Priorities

Cites Work

• Unnamed Item
• Unnamed Item
• Reasoning robots. The art and science of programming robotic agents
• STRIPS: A new approach to the application of theorem proving to problem solving
• Multivalued Action Languages with Constraints in CLP(FD)
• Representing action and change by logic programs
• ADL and the State-Transition Model of Action
• The concurrent, continuous fluent calculus

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