Pages that link to "Item:Q1389538"

The following pages link to Representing action: indeterminacy and ramifications (Q1389538):

Displaying 14 items.

• Approximation of action theories and its application to conformant planning (Q543583) (← links)
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
• Weak, strong, and strong cyclic planning via symbolic model checking (Q814470) (← links)
• SAT-based planning in complex domains: Concurrency, constraints and nondeterminism (Q814472) (← links)
• Contingent planning under uncertainty via stochastic satisfiability (Q814473) (← links)
• Logic-based subsumption architecture (Q814558) (← links)
• Conformant planning via symbolic model checking and heuristic search (Q814631) (← links)
• Metatheory of actions: beyond consistency (Q1028966) (← links)
• Formalizing narratives using nested circumscription (Q1274680) (← links)
• Reasoning about actions: steady versus stabilizing state constraints (Q1274697) (← links)
• Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
• An action language for multi-agent domains (Q2060726) (← links)
• Reasoning about sensing actions in domains with multi-valued fluents (Q2574884) (← links)
• Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)