Pages that link to "Item:Q1108819"
From MaRDI portal
The following pages link to Nonmonotonic logic and temporal projection (Q1108819):
Displaying 50 items.
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem (Q543579) (← links)
- A unifying action calculus (Q543584) (← links)
- How does a box work? A study in the qualitative dynamics of solid objects (Q543601) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Means-end relations and a measure of efficacy (Q853789) (← links)
- A logical expression of reasoning (Q885515) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- A mathematical treatment of defeasible reasoning and its implementation. (Q989158) (← links)
- Conditional entailment: bridging two approaches to default reasoning. (Q989161) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Reasoning about action. I: A possible worlds approach (Q1103419) (← links)
- Autocircumscription (Q1105394) (← links)
- Efficient reasoning about rich temporal domains (Q1113891) (← links)
- A circumscriptive theorem prover (Q1123640) (← links)
- Frames in the space of situations (Q1174513) (← links)
- Acyclic logic programs and the completeness of SLDNF-resolution (Q1177925) (← links)
- Programming in temporal-nonmonotonic reasoning (Q1181723) (← links)
- Nonmonotonic reasoning in the framework of situation calculus (Q1182155) (← links)
- Impediments to universal preference-based default theories (Q1182162) (← links)
- Graphoids and natural conditional functions (Q1183370) (← links)
- A general framework for reason maintenance (Q1187218) (← links)
- A key to fuzzy-logic inference (Q1209538) (← links)
- Inheritance comes of age: applying nonmonotonic techniques to problems in industry (Q1274763) (← links)
- The logical foundations of goal-regression planning in autonomous agents (Q1277699) (← links)
- Probabilistic Horn abduction and Bayesian networks (Q1313950) (← links)
- Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change (Q1321053) (← links)
- A three-valued semantics for deductive databases and logic programs (Q1337468) (← links)
- Two counterexamples related to Baker's approach to the frame problem (Q1337689) (← links)
- Motivated action theory: A formal theory of causal reasoning (Q1341664) (← links)
- Counterfactual reasoning by (means of) defaults (Q1353877) (← links)
- Modelling default and likelihood reasoning as probabilistic reasoning. (Q1354054) (← links)
- A modal contrastive logic: The logic of ``but'' (Q1380429) (← links)
- Representing action: indeterminacy and ramifications (Q1389538) (← links)
- Ramification and causality (Q1399132) (← links)
- Answer set programming and plan generation (Q1603732) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- A circumscriptive calculus of events (Q1855238) (← links)
- Modality and interrupts (Q1891265) (← links)
- Applying the persistent set approach in temporal reasoning (Q1924730) (← links)
- Modular specifications with supernormal defaults (Q1924749) (← links)
- Qualitative probabilities for default reasoning, belief revision, and causal modeling (Q2171264) (← links)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
- The dramatic true story of the frame default (Q2341259) (← links)
- Active logic semantics for a single agent in a static world (Q2389647) (← links)
- Comparing action descriptions based on semantic preferences (Q2457799) (← links)
- A semantics for means-end relations (Q2460183) (← links)
- A rule based knowledge transaction model for mobile environments (Q2509213) (← links)
- The case for psychologism in default and inheritance reasoning (Q2576424) (← links)
