State Constraints Revisited
From MaRDI portal
Recommendations
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Reasoning about action. II: The qualification problem
- Reasoning about actions: steady versus stabilizing state constraints
- Some contributions to the metatheory of the situation calculus
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
Cited in
(36)- Metatheory of actions: beyond consistency
- Reasoning about action. II: The qualification problem
- What robots can do: robot programs and effective achievability
- The expressive power of circumscription
- Reasoning about actions: steady versus stabilizing state constraints
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Proving properties of states in the situation calculus
- Ramification and causality
- Definability and commonsense reasoning
- How to progress a database
- ConGolog, a concurrent programming language based on the situation calculus
- The qualification problem: A solution to the problem of anomalous models
- On partial state matching
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Efficient multi-agent epistemic planning: teaching planners about nested belief
- The aspect calculus
- Position systems in dynamic domains
- Asynchronous knowledge with hidden actions in the situation calculus
- A general first-order solution to the ramification problem with cycles
- Knowledge-based programs as building blocks for planning
- Some contributions to the metatheory of the situation calculus
- Successes and failures in the construction of NESS-states
- Regression in modal logic
- Frame problem in dynamic logic
- scientific article; zbMATH DE number 3907746 (Why is no real title available?)
- scientific article; zbMATH DE number 1051243 (Why is no real title available?)
- scientific article; zbMATH DE number 2000825 (Why is no real title available?)
- scientific article; zbMATH DE number 2084387 (Why is no real title available?)
- Investigating the solution space for online iterative explanation in goal reasoning agents
- John McCarthy's legacy
- First-order logical filtering
- Formalizing sensing actions -- a transition function based approach
- A description logic based situation calculus
- Knowledge, action, and the frame problem
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
- Property persistence in the situation calculus
This page was built for publication: State Constraints Revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4316298)
