The following pages link to State Constraints Revisited (Q4316298):
Displayed 26 items.
- John McCarthy's legacy (Q543573) (← links)
- First-order logical filtering (Q543591) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism (Q814472) (← links)
- Property persistence in the situation calculus (Q991025) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- What robots can do: robot programs and effective achievability (Q1274278) (← links)
- The expressive power of circumscription (Q1274695) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Proving properties of states in the situation calculus (Q1313962) (← links)
- Ramification and causality (Q1399132) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- How to progress a database (Q1402735) (← links)
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) (Q1978240) (← links)
- Efficient multi-agent epistemic planning: teaching planners about nested belief (Q2060737) (← links)
- The aspect calculus (Q2305430) (← links)
- Position systems in dynamic domains (Q2341258) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- Regression in Modal Logic (Q3647207) (← links)
- Frame problem in dynamic logic (Q3647228) (← links)
- Investigating the solution space for online iterative explanation in goal reasoning agents (Q5145432) (← links)
- Formalizing sensing actions -- a transition function based approach (Q5940779) (← links)