Pages that link to "Item:Q4352535"

The following pages link to Representing actions in logic programs and default theories a situation calculus approach (Q4352535):

Displaying 20 items.

• Approximation of action theories and its application to conformant planning (Q543583) (← links)
• Formalising the Fisherman's Folly puzzle (Q543602) (← links)
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
• Nonmonotonic causal theories (Q814551) (← links)
• Conditional logic of actions and causation (Q814610) (← links)
• A preferential semantics for causal reasoning about action (Q862556) (← links)
• Representing action: indeterminacy and ramifications (Q1389538) (← links)
• Abductive reasoning through filtering (Q1575426) (← links)
• Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
• Answer set programming and plan generation (Q1603732) (← links)
• The dramatic true story of the frame default (Q2341259) (← links)
• Knowledge updates: Semantics and complexity issues (Q2457677) (← links)
• Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
• Toward Question Answering in Travel Domains (Q2900529) (← links)
• A New Incarnation of Action Language H (Q2900548) (← links)
• On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\mathcal {ALM}$$ (Q3449224) (← links)
• Seminormalizing a default theory (Q3647232) (← links)
• Modular action language (Q4593024) (← links)
• Authorization and Obligation Policies in Dynamic Systems (Q5504643) (← links)
• Formalizing sensing actions -- a transition function based approach (Q5940779) (← links)