Pages that link to "Item:Q1923832"

The following pages link to Reasoning about action and change. A dynamic logic approach (Q1923832):

Displaying 23 items.

• On the dynamic logic of agency and action (Q456961) (← links)
• A description logic based situation calculus (Q604908) (← links)
• Means-end relations and a measure of efficacy (Q853789) (← links)
• Reasoning about action. I: A possible worlds approach (Q1103419) (← links)
• Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change (Q1321053) (← links)
• A dynamic logic of action (Q1337608) (← links)
• Logic, action and cognition. Essays in philosophical logic. Revised papers from the Umeå colloquium on dynamic approaches in logic, language and information, UmLLI-93, Umeå, Sweden, September 24--26, 1993 (Q1807982) (← links)
• Challenges for action theories (Q1977406) (← links)
• t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
• A semantics for means-end relations (Q2460183) (← links)
• Reasoning about actions in dynamic linear time temporal logic (Q2716929) (← links)
• Dynamic logic for reasoning about actions and agents (Q2734941) (← links)
• A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions (Q3167603) (← links)
• PDL with negation of atomic programs (Q3647227) (← links)
• Frame problem in dynamic logic (Q3647228) (← links)
• Interference logic = conditional logic + frame axiom (Q4293721) (← links)
• Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change (Q4316299) (← links)
• A dynamic logic for acting, sensing, and planning (Q4528038) (← links)
• Modal logic for modelling actions and agents (Q4632321) (← links)
• Formalizing action and change in modal logic I: the frame problem (Q4934812) (← links)
• A theory and implementation of cognitive mobile robots (Q4934814) (← links)
• (Q5015273) (← links)
• Foundations of Software Science and Computation Structures (Q5308468) (← links)