Pages that link to "Item:Q5277695"

The following pages link to A logic programming approach to knowledge-state planning (Q5277695):

Displaying 18 items.

• An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
• Updating action domain descriptions (Q622109) (← links)
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
• Undoing the effects of action sequences (Q946576) (← links)
• Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (Q2353984) (← links)
• Positive Dedalus programs tolerate non-causality (Q2453541) (← links)
• Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
• Reactive Policies with Planning for Action Languages (Q2835891) (← links)
• Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
• A Language for Default Reasoning about Actions (Q2900546) (← links)
• $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols (Q3498490) (← links)
• Multivalued action languages with constraints in CLP(FD) (Q3550913) (← links)
• Practical reasoning about knowledge states for open world planning with sensing (Q3647290) (← links)
• Planning as tabled logic programming (Q4592996) (← links)
• Modular action language (Q4593024) (← links)
• Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues (Q4911144) (← links)
• Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473691) (← links)