Pages that link to "Item:Q1103419"
From MaRDI portal
The following pages link to Reasoning about action. I: A possible worlds approach (Q1103419):
Displaying 34 items.
- John McCarthy's legacy (Q543573) (← links)
- A unifying action calculus (Q543584) (← links)
- R-calculus for ELP: An operational approach to knowledge base maintenance (Q676851) (← links)
- A preferential semantics for causal reasoning about action (Q862556) (← links)
- Reasoning about action. I: A possible worlds approach (Q1103419) (← links)
- Reasoning about action. II: The qualification problem (Q1103420) (← links)
- Chronological ignorance: Experiments in nonmonotonic temporal reasoning (Q1114431) (← links)
- Nonmonotonic reasoning in the framework of situation calculus (Q1182155) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- A logic for reasoning with inconsistent knowledge (Q1199925) (← links)
- Reasoning about actions: steady versus stabilizing state constraints (Q1274697) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Changes of disjunctively closed bases (Q1322437) (← links)
- The computational complexity of propositional STRIPS planning (Q1337679) (← links)
- Belief revision in a microworld (Q1354066) (← links)
- Circumscriptive semantics for updating knowledge bases (Q1360687) (← links)
- Sound and efficient closed-world reasoning for planning (Q1399125) (← links)
- Ramification and causality (Q1399132) (← links)
- A programmable approach to maintenance of a finite knowledge base (Q1400054) (← links)
- Interactionist-expectative view on agency and learning (Q1404650) (← links)
- Fast algorithms for revision of some special propositional knowledge bases (Q1415946) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- Generating plans in linear logic. I: Actions as proofs (Q1802077) (← links)
- Approximate planning (Q1855231) (← links)
- An information-based theory of conditionals (Q1861134) (← links)
- Belief revision, conditional logic and nonmonotonic reasoning (Q1903579) (← links)
- Constructive modelings for theory change (Q1903581) (← links)
- A logical framework for evolving software systems (Q1911313) (← links)
- Applying the persistent set approach in temporal reasoning (Q1924730) (← links)
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) (Q1978240) (← links)
- Position systems in dynamic domains (Q2341258) (← links)
- An algebraic approach to revising propositional rule-based knowledge bases (Q2425850) (← links)
- ALX, an action logic for agents with bounded rationality (Q2674198) (← links)
- Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting (Q4989324) (← links)
