Nonmonotonic logic and temporal projection
From MaRDI portal
Publication:1108819
DOI10.1016/0004-3702(87)90043-9zbMath0654.68107WikidataQ29997854 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 logic; default reasoning; non-monotonic logics; predicate circumscription; minimal model semantics; partial correctness problem
03B60: Other nonclassical logic
03A05: Philosophical and critical aspects of logic and foundations
68T99: Artificial intelligence
Related Items
On the impact of stratification on the complexity of nonmonotonic reasoning, Temporal representation and reasoning in artificial intelligence: A review, Defeasible reasoning with variable degrees of justification, Explaining updates by minimal sums, Introduction: Progress in formal commonsense reasoning, Nonmonotonic causal theories, Means-end relations and a measure of efficacy, A logical expression of reasoning, Reasoning about action. I: A possible worlds approach, Autocircumscription, Efficient reasoning about rich temporal domains, A circumscriptive theorem prover, Frames in the space of situations, Acyclic logic programs and the completeness of SLDNF-resolution, Programming in temporal-nonmonotonic reasoning, Nonmonotonic reasoning in the framework of situation calculus, Impediments to universal preference-based default theories, Graphoids and natural conditional functions, A general framework for reason maintenance, A key to fuzzy-logic inference, Inheritance comes of age: applying nonmonotonic techniques to problems in industry, The logical foundations of goal-regression planning in autonomous agents, Probabilistic Horn abduction and Bayesian networks, Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change, 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, Counterfactual reasoning by (means of) defaults, Modelling default and likelihood reasoning as probabilistic reasoning., A modal contrastive logic: The logic of ``but, Representing action: indeterminacy and ramifications, Ramification and causality, Answer set programming and plan generation, The qualification problem: A solution to the problem of anomalous models, A circumscriptive calculus of events, Modality and interrupts, Applying the persistent set approach in temporal reasoning, Modular specifications with supernormal defaults, Comparing action descriptions based on semantic preferences, A semantics for means-end relations, A rule based knowledge transaction model for mobile environments, The case for psychologism in default and inheritance reasoning
Cites Work
