Planning under uncertainty as G<scp>OLOG</scp>programs

DOI10.1080/0952813031000064567MaRDI QIDQ4467045zbMATH OpenOpenAlexFDO

Authors J. A. Baier, Javier Pinto

Publication date 8 June 2004

Published in Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/0952813031000064567

zbMATH Keywords

cognitive roboticsloop inductionplanninguncertainty

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Artificial intelligence for robotics (68T40)

Recommendations

• GOLOG: A logic programming language for dynamic domains
• Probabilistic situation calculus
• scientific article; zbMATH DE number 5877344
• AI*IA 2003: Advances in Artificial Intelligence
• scientific article; zbMATH DE number 1882053

Cites work

• A logic-based calculus of events
• ConGolog, a concurrent programming language based on the situation calculus
• Fast planning through planning graph analysis
• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 1390358 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Integrating planning and learning: the PRODIGY architecture
• LAO*: A heuristic search algorithm that finds solutions with loops
• NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS
• Some contributions to the metatheory of the situation calculus
• STRIPS: A new approach to the application of theorem proving to problem solving
• The computational complexity of propositional STRIPS planning
• Using temporal logics to express search control knowledge for planning

Cited in

(16)

• ConGolog, a concurrent programming language based on the situation calculus
• scientific article; zbMATH DE number 1629872 (Why is no real title available?)
• Making Golog norm compliant
• Representing value functions with recurrent binary decision diagrams
• scientific article; zbMATH DE number 1305385 (Why is no real title available?)
• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 2063021 (Why is no real title available?)
• From Uncertainty Data to Robust Policies for Temporal Logic Planning
• Knowledge-based programs with defaults in a modal situation calculus
• Decision-Theoretic Planning with Fuzzy Notions in GOLOG
• scientific article; zbMATH DE number 1882053 (Why is no real title available?)
• scientific article; zbMATH DE number 5201473 (Why is no real title available?)
• On knowledge-based programming with sensing in the situation calculus
• Incremental execution of guarded theories
• Programming hierarchical task networks in the situation calculus
• AI*IA 2003: Advances in Artificial Intelligence

Describes a project that uses

Uses Software

• Graphplan
• pGOLOG
• ConGolog
• GOLOG

This page was built for publication: Planning under uncertainty as G<scp>OLOG</scp>programs

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