Pages that link to "Item:Q596477"
From MaRDI portal
The following pages link to On the semantics of deliberation in IndiGolog -- from theory to implementation (Q596477):
Displaying 13 items.
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- Where logic and agents meet (Q657584) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- Conformant plans and beyond: principles and complexity (Q969534) (← links)
- Property persistence in the situation calculus (Q991025) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Analyzing generalized planning under nondeterminism (Q2124464) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Computing programs for generalized planning using a classical planner (Q2321292) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications (Q4408523) (← links)
- Generalized planning as heuristic search: a new planning search-space that leverages pointers over objects (Q6566615) (← links)