scientific article; zbMATH DE number 1390352

MaRDI QIDQ4934644zbMATH OpenFDO

Authors Giuseppe De Giacomo, Hector J. Levesque

Publication date 17 January 2000

zbMATH Keywords

high-level agent programsplanning

Mathematics Subject Classification ID

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

Recommendations

• Incremental execution of guarded theories
• On knowledge-based programming with sensing in the situation calculus
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• Publication:4940940
• Formalizing sensing actions -- a transition function based approach

Cited in

(11)

• Experiences with an interactive museum tour-guide robot
• Non-terminating processes in the situation calculus
• Knowledge-based programs as building blocks for planning
• Making Golog norm compliant
• Progression and verification of situation calculus agents with bounded beliefs
• scientific article; zbMATH DE number 140389 (Why is no real title available?)
• Incremental execution of guarded theories
• Abstracting situation calculus action theories
• A framework for belief-based programs and their verification
• Knowledge, action, and the frame problem
• A history based approximate epistemic action theory for efficient postdictive reasoning

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication:

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