Pages that link to "Item:Q1606307"

The following pages link to From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem (Q1606307):

Displayed 15 items.

• Bounded situation calculus action theories (Q286407) ‎ (← links)
• John McCarthy's legacy (Q543573) ‎ (← links)
• A unifying action calculus (Q543584) ‎ (← links)
• A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) ‎ (← links)
• First-order logical filtering (Q543591) ‎ (← links)
• The qualification problem: A solution to the problem of anomalous models (Q1606323) ‎ (← links)
• Belief revision and projection in the epistemic situation calculus (Q1680698) ‎ (← links)
• A probabilistic interval-based event calculus for activity recognition (Q2029705) ‎ (← links)
• A family of dynamic description logics for representing and reasoning about actions (Q2392414) ‎ (← links)
• Event calculus and temporal action logics compared (Q2457610) ‎ (← links)
• Probabilistic Event Calculus for Event Recognition (Q2946767) ‎ (← links)
• Multivalued action languages with constraints in CLP(FD) (Q3550913) ‎ (← links)
• A Semantical Account of Progression in the Presence of Defaults (Q3637332) ‎ (← links)
• Simulation of Action Theories and an Application to General Game-Playing Robots (Q5172606) ‎ (← links)
• Epistemic planning: perspectives on the special issue (Q6098843) ‎ (← links)