Non-Markovian control in the Situation Calculus

DOI10.1016/J.ARTINT.2010.04.012zbMath1216.68265OpenAlexW2133249024MaRDI QIDQ543575

Alfredo Gabaldon

Publication date: 17 June 2011

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

Full work available at URL: https://doi.org/10.1016/j.artint.2010.04.012

zbMATH Keywords

reasoning about actionsSituation Calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

John McCarthy's legacy ⋮ Situation calculus for controller synthesis in manufacturing systems with first-order state representation ⋮ Alan: An action language for modelling non-Markovian domains

Uses Software

• GOLOG
• Smodels

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• TALplanner: A temporal logic based forward chaining planner
• Using temporal logics to express search control knowledge for planning
• Alan: An action language for modelling non-Markovian domains
• Some contributions to the metatheory of the situation calculus
• Representing action and change by logic programs
• GOLOG: A logic programming language for dynamic domains

This page was built for publication: Non-Markovian control in the Situation Calculus