On the semantics of deliberation in IndiGolog -- from theory to implementation
From MaRDI portal
Publication:596477
DOI10.1023/B:AMAI.0000031197.13122.aazbMath1048.68100OpenAlexW2139630036MaRDI QIDQ596477
Hector J. Levesque, Yves Lespérance, Giuseppe De Giacomo, Sebastian Sardiña
Publication date: 10 August 2004
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:amai.0000031197.13122.aa
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items
Analyzing generalized planning under nondeterminism ⋮ Progression and verification of situation calculus agents with bounded beliefs ⋮ Knowledge-based programs as building blocks for planning ⋮ Non-terminating processes in the situation calculus ⋮ A history based approximate epistemic action theory for efficient postdictive reasoning ⋮ Reasoning about actions with loops via Hoare logic ⋮ Where logic and agents meet ⋮ Conformant plans and beyond: principles and complexity ⋮ Property persistence in the situation calculus ⋮ Situation calculus for controller synthesis in manufacturing systems with first-order state representation ⋮ Computing programs for generalized planning using a classical planner
Uses Software