An incremental interpreter for high-level programs with sensing
From MaRDI portal
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
- scientific article; zbMATH DE number 1407685
- 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
This page was built for publication: An incremental interpreter for high-level programs with sensing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934644)
