Pages that link to "Item:Q5940779"

The following pages link to Formalizing sensing actions -- a transition function based approach (Q5940779):

Displaying 27 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)
• Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
• Revising event calculus theories to recover from unexpected observations (Q2029718) (← links)
• Knowledge-based programs as succinct policies for partially observable domains (Q2046009) (← links)
• An action language for multi-agent domains (Q2060726) (← links)
• A lightweight epistemic logic and its application to planning (Q2238679) (← 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)
• Reactive Policies with Planning for Action Languages (Q2835891) (← 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)
• Hybrid conditional planning using answer set programming (Q4592727) (← links)
• Formalizing sensing actions -- a transition function based approach (Q5940779) (← links)
• Database semantics for natural language (Q5958106) (← links)
• Epistemic planning: perspectives on the special issue (Q6098843) (← links)