A logic for default reasoning
From MaRDI portal
Publication:1140434
DOI10.1016/0004-3702(80)90014-4zbMath0435.68069WikidataQ56048230 ScholiaQ56048230MaRDI QIDQ1140434
Publication date: 1980
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(80)90014-4
DB lookup for MSC labels failed
Related Items
Modal logic based theory for non-monotonic reasoning, Graph decompositions and tree automata in reasoning with uncertainty, Information and evidence in logic systems, On the impact of stratification on the complexity of nonmonotonic reasoning, Relating only knowing to minimal belief and negation as failure, Some considerations on the logics PFD A logic combining modality and probability, Unnamed Item, Approximate reasoning with credible subsets, Nonmonotonic reasoning based on incomplete logic, Towards a classification of defaults logics, Unnamed Item, OSCAR, Belief, provability, and logic programs, Temporal theories of reasoning, Inductive learning and defeasible inference, On the relationship between annotated logic programs and nonmonotonic formalisms, Analytic tableaux for default logics, A three-valued approach to default logic, Plausible reasoning: a first-order approach, Displaying the modal logic of consistency, European Summer Meeting of the Association for Symbolic Logic, Revision programming, Abduction from logic programs: Semantics and complexity, On compact representations of propositional circumscription, Defaults in domain theory, Is intractability of nonmonotonic reasoning a real drawback?, Causality as a key to the frame problem, Abductive reasoning through filtering, Specifying causality in action theories: A default logic approach, Input/output logics, Belief functions and default reasoning, Minimal temporal epistemic logic, A decision method for nonmonotonic reasoning based on autoepistemic reasoning, Modality and interrupts, Defaults as restrictions on classical Hilbert-style proofs, Default reasoning by deductive planning, Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic, A new methodology for query answering in default logics via structure-oriented theorem proving, Development of inductive inference algorithms using decision trees, Partial up an down logic, Minimal model semantics for sorted constraint representation, A logical framework for evolving software systems, A note on measures of fuzziness applied to nonmonotonic fuzzy propositional logic, Prima facie and seeming duties, Two approaches to the formalisation of defeasible deontic reasoning, Well-founded and stationary models of logic programs, New proofs in default logic theory, Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning, On the computational cost of disjunctive logic programming: Propositional case, Complexity of computing with extended propositional logic programs, A framework for controlling model-based diagnosis systems with multiple actions, Propositional semantics for disjunctive logic programs, Logic programming and reasoning with incomplete information, Another perspective on default reasoning, Modal nonmonotonic logics demodalized, Connections between default reasoning and partial constraint satisfaction, A modal logic for subjective default reasoning, On conjectures in orthocomplemented lattices, Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches, REPRESENTING DEFAULTS IN THE FRAMEWORK OF POSSIBILITY THEORY∗, A survey of non-monotonic reasoning, Ordered seminormal default theories and their extensions, Revision in ACMS, Nonmonotonic consequence based on intuitionistic logic, Unnamed Item, Graph theoretical structures in logic programs and default theories, On-line algorithms for satisfiability problems with uncertainty, Multi-valued logic programming semantics An algebraic approach, Annotated nonmonotonic rule systems, Graded hypothesis theories, On the autoepistemic reconstruction of logic programming, On prediction in Theorist, A reasoning method for a paraconsistent logic, A logic for reasoning with inconsistency, Incorporating top-down information into bottom-up hypothetical reasoning, Reasoning with minimal models: efficient algorithms and applications, On the logic of causal explanation, A note on the stable model semantics for logic programs, Defaults and relevance in model-based reasoning, Preferential reasoning in the perspective of Poole default logic, Reasoning by cases in Default Logic, General logical databases and programs: Default logic semantics and stratification, Nonmonotonic reasoning, preferential models and cumulative logics, Impediments to universal preference-based default theories, Hard problems for simple default logics, The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning, Three-valued nonmonotonic formalisms and semantics of logic programs, Default knowledge and measures of specificity, Cumulative default logic: In defense of nonmonotonic inference rules, A general framework for reason maintenance, The theory of nomic probability, Nonmonotonicity and the scope of reasoning, On the consistency of defeasible databases, How complicated is the set of stable models of a recursive logic program?, What does a conditional knowledge base entail?, Resolving ambiguity in nonmonotonic inheritance hierarchies, An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic, Stable and extension class theory for logic programs and default logics, The relationship between stable, supported, default and autoepistemic semantics for general logic programs, On the complexity of propositional knowledge base revision, updates, and counterfactuals, A logic of knowledge and justified assumption, How to reason defeasibly, A logic for reasoning with inconsistent knowledge, Saying more with frames: Slots as classes, Relating minimal models and pre-requisite-free normal defaults, Decomposition of linguistic-logical decision models in distributed computing environments, On the relation between default and modal nonmonotonic reasoning, On first-order conditional logics, Reaching agreements through argumentation: a logical model and implementation, Inheritance comes of age: applying nonmonotonic techniques to problems in industry, From environments to representations -- a mathematical theory of artificial perceptions, Prolog technology for default reasoning: proof theory and compilation techniques, Lexicographic priorities in default logic, A framework for group decision support systems: Combining AI tools and OR techniques, Reasoning with vague default, Definable deduction relation, Characterizations and algorithms of extensions for CADL and QDL, A general scheme for formalizing defaults using the predicate \(ab(I,S)\), Non-monotonic fuzzy reasoning, An overview of fuzzy quantifiers. II. Reasoning and applications, Is default logic a reinvention of inductive-statistical reasoning?, Logic programs, well-orderings, and forward chaining, The open logic and its relation to circumscription, Succinctness as a source of complexity in logical formalisms, Interpreting disjunctive logic programs based on a strong sense of disjunction, Dualities between alternative semantics for logic programming and nonmonotonic reasoning, Moral dilemmas and nonmonotonic logic, On cumulative default logics, Nonmonotonic inference based on expectations, A theory of measurement in diagnosis from first principles, A context for belief revision: forward chaining-normal nonmonotonic rule systems, The complexity of propositional closed world reasoning and circumscription, Inheritance systems with exceptions, Justification and defeat, Minimal knowledge problem: A new approach, The epistemic structure of a theory of a game, Conditional logics of normality: A modal approach, Resolving contradictions: A plausible semantics for inconsistent systems, Operational concepts of nonmonotonic logics. I: Default logic, On the relationship between TMS and logic programs, Some results on default logic, Cumulative default logic: Finite characterization, algorithms, and complexity, Default theories that always have extensions, Two counterexamples related to Baker's approach to the frame problem, Motivated action theory: A formal theory of causal reasoning, Minimal belief and negation as failure, Alternative approaches to default logic, Tableau-based characterization and theorem proving for default logic, Autoepistemic logic of first order and its expressive power, Querying disjunctive databases through nonmonotonic logics, Deontic logic as founded on nonmonotonic logic, An argumentation framework in default logic, Interpretations of open default theories in non-monotonic logics, Counterfactual reasoning by (means of) defaults, Describing symmetrical structures in logic., A theory of nonmonotonic rule systems. II, Modelling default and likelihood reasoning as probabilistic reasoning., Choosing reference classes and building provisional models, A theory of nonmonotonic rule systems I, Modal logic for default reasoning, Operational characterization of extensions in some logics for default reasoning, Disjunctive logic and semantics of disjunctive logic programs, Seminormal stratified default theories, Polynomial-time computable stable models, A modal contrastive logic: The logic of ``but
