Nonmonotonic logic and temporal projection
From MaRDI portal
Publication:1108819
DOI10.1016/0004-3702(87)90043-9zbMath0654.68107OpenAlexW2036900631WikidataQ29997854 ScholiaQ29997854MaRDI QIDQ1108819
Publication date: 1987
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(87)90043-9
default logicdefault reasoningnon-monotonic logicspredicate circumscriptionminimal model semanticspartial correctness problem
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Artificial intelligence (68T99)
Related Items
A three-valued semantics for deductive databases and logic programs, Two counterexamples related to Baker's approach to the frame problem, Motivated action theory: A formal theory of causal reasoning, Enablers and Inhibitors in Causal Justifications of Logic Programs, Causal Logic Programming, Modality and interrupts, Counterfactual reasoning by (means of) defaults, Modelling default and likelihood reasoning as probabilistic reasoning., Reasoning about action. I: A possible worlds approach, Means-end relations and a measure of efficacy, Autocircumscription, Active logic semantics for a single agent in a static world, Efficient reasoning about rich temporal domains, Qualitative probabilities for default reasoning, belief revision, and causal modeling, A circumscriptive theorem prover, A modal contrastive logic: The logic of ``but, Applying the persistent set approach in temporal reasoning, Modular specifications with supernormal defaults, A logical expression of reasoning, Proving termination of general Prolog programs, Representing action: indeterminacy and ramifications, History of circumscription, From statistical knowledge bases to degrees of belief, On the impact of stratification on the complexity of nonmonotonic reasoning, A history based approximate epistemic action theory for efficient postdictive reasoning, Thirty years of Epistemic Specifications, Ramification and causality, Temporal ASP: from logical foundations to practical use with \texttt{telingo}, Frames in the space of situations, Acyclic logic programs and the completeness of SLDNF-resolution, Modal logic for modelling actions and agents, Comparing action descriptions based on semantic preferences, Programming in temporal-nonmonotonic reasoning, Nonmonotonic reasoning in the framework of situation calculus, Impediments to universal preference-based default theories, A semantics for means-end relations, Graphoids and natural conditional functions, A general framework for reason maintenance, Unnamed Item, A key to fuzzy-logic inference, \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem, A unifying action calculus, How does a box work? A study in the qualitative dynamics of solid objects, Formalising the Fisherman's Folly puzzle, Temporal representation and reasoning in artificial intelligence: A review, A mathematical treatment of defeasible reasoning and its implementation., Conditional entailment: bridging two approaches to default reasoning., Defeasible reasoning with variable degrees of justification, Explaining updates by minimal sums, A rule based knowledge transaction model for mobile environments, Inheritance comes of age: applying nonmonotonic techniques to problems in industry, Inductive situation calculus, The logical foundations of goal-regression planning in autonomous agents, Frame problem in dynamic logic, A parallel memory-efficient epistemic logic program solver: harder, better, faster, The case for psychologism in default and inheritance reasoning, The dramatic true story of the frame default, A circumscriptive calculus of events, Probabilistic Horn abduction and Bayesian networks, Answer set programming and plan generation, The qualification problem: A solution to the problem of anomalous models, Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change, Introduction: Progress in formal commonsense reasoning, Nonmonotonic causal theories
Cites Work
