Pages that link to "Item:Q5940779"
From MaRDI portal
The following pages link to Formalizing sensing actions -- a transition function based approach (Q5940779):
Displayed 19 items.
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (Q645074) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- A generic approach to planning in the presence of incomplete information: theory and implementation (Q899156) (← links)
- Undoing the effects of action sequences (Q946576) (← links)
- Computational complexity of planning and approximate planning in the presence of incompleteness (Q1583520) (← links)
- Knowledge updates: Semantics and complexity issues (Q2457677) (← links)
- Common-sense reasoning as proto-scientific agent activity (Q2565606) (← links)
- Representation and reasoning about evolutions of the world in the context of reasoning about actions (Q2574879) (← links)
- Reasoning about sensing actions in domains with multi-valued fluents (Q2574884) (← links)
- Considerations on Belief Revision in an Action Theory (Q2900517) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Probabilistic Reasoning by SAT Solvers (Q3638188) (← links)
- Practical reasoning about knowledge states for open world planning with sensing (Q3647290) (← links)
- Formalizing sensing actions -- a transition function based approach (Q5940779) (← links)
- Database semantics for natural language (Q5958106) (← links)