A logical framework for default reasoning
From MaRDI portal
Publication:1104777
DOI10.1016/0004-3702(88)90077-XzbMath0647.68094OpenAlexW2020153579MaRDI QIDQ1104777
Publication date: 1988
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(88)90077-x
Related Items
Nonmonotonic reasoning: From finitary relations to infinitary inference operations, Unifying default reasoning and belief revision in a modal framework, Conditional logics of normality: A modal approach, Grammatically biased learning: Learning logic programs using an explicit antecedent description language, Operational concepts of nonmonotonic logics. I: Default logic, Nonmonotonic reasoning with multiple belief sets, Hypothesizing about signaling networks, Equivalence issues in abduction and induction, Alternative approaches to default logic, A decision method for nonmonotonic reasoning based on autoepistemic reasoning, Default reasoning by deductive planning, An argumentation framework in default logic, On rules of abduction., Choosing reference classes and building provisional models, Nonmonotonic inferences and neural networks, Belief revision, conditional logic and nonmonotonic reasoning, Active logic semantics for a single agent in a static world, Redundancy in logic. III: Non-monotonic reasoning, Combining answer set programming with description logics for the semantic web, Minimal model semantics for sorted constraint representation, Default theories over monadic languages, Abduction to plausible causes: an event-based model of belief update, Qualitative probabilities for default reasoning, belief revision, and causal modeling, Obligation as optimal goal satisfaction, Completing causal networks by meta-level abduction, A note on the stable model semantics for logic programs, Modular specifications with supernormal defaults, Another perspective on default reasoning, Preferential reasoning in the perspective of Poole default logic, System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases, Modelling phenomena and dynamic logic of phenomena, Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions, Hypothetical reasoning and brainware, Non-prioritized ranked belief change, An abstract, argumentation-theoretic approach to default reasoning, Dynamic reasoning with qualified syllogisms, Semantics and complexity of abduction from default theories, Abstract argumentation systems, Compiling specificity into approaches to nonmonotonic reasoning, Abnormality and randomness, Updating knowledge bases, An assumption-based truth maintenance system dealing with non-ground justifications, Connections between default reasoning and partial constraint satisfaction, Skeptical query-answering in Constrained Default Logic, Hybrid Reasoning on a Bipolar Argumentation Framework, Dialectic proof procedures for assumption-based, admissible argumentation, The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning, REWARD VERSUS RISK IN UNCERTAIN INFERENCE: THEOREMS AND SIMULATIONS, Cumulative default logic: In defense of nonmonotonic inference rules, Graded hypothesis theories, Judgment aggregation in nonmonotonic logic, Reasoning on the Web with Assumption-Based Argumentation, Nonmonotonic reasoning based on incomplete logic, A theory of nonmonotonic inheritance based on annotated logic, On prediction in Theorist, Linear resolution for consequence finding, A logic for reasoning with inconsistent knowledge, A Prolog technology theorem prover: A new exposition and implementation in Prolog, Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities, Incorporating top-down information into bottom-up hypothetical reasoning, Equality and abductive residua for Horn clauses, Additive Consolidation with Maximal Change, Compositional model-theoretic semantics for logic programs, Semantics for a theory of defeasible reasoning, Abductive logics in a belief revision framework, Local logics, non-monotonicity and defeasible argumentation, 1998–99 Annual Meeting of the Association for Symbolic Logic, A mathematical treatment of defeasible reasoning and its implementation., Conditional entailment: bridging two approaches to default reasoning., Declarative Representation of Revision Strategies*, EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface, Compiling a default reasoning system into Prolog, Reasoning credulously and skeptically within a single extension, Preferential Reasoning for Modal Logics, Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning, On first-order conditional logics, Prolog technology for default reasoning: proof theory and compilation techniques, Default logic generalized and simplified, Lexicographic priorities in default logic, Reasoning with vague default, Abductive reasoning through filtering, Abductive inference in defeasible reasoning: a model for research programmes, Conflicting imperatives and dyadic deontic logic, The open logic and its relation to circumscription, Default reasoning and belief revision: A syntax-independent approach, Expressing preferences in default logic, Prioritized logic programming and its application to commonsense reasoning, ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS, Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches, Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations, On the computational complexity of assumption-based argumentation for default reasoning., Nested abnormality theories, Abduction as belief revision, Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge, A comparative study of open default theories, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games, Probabilistic Horn abduction and Bayesian networks, Nonmonotonic inference based on expectations, Nonmonotonic inconsistency, A consistency-based approach for belief change, A sphere world semantics for default reasoning, Hypothetical updates, priority and inconsistency in a logic programming language, Computing the acceptability semantics, Merging operators on stratified belief bases equipped with argumentative inference, Abduction as deductive saturation: a proof-theoretic inquiry, A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence, Twenty-Five Years of Preferred Subtheories, Constraints for input/output logics, Defeasible reasoning with variable degrees of justification, Extensions for open default theories via the domain closure assumption, A query answering algorithm for Lukaszewicz' general open default theory, A system for computing constrained default logic extensions, A simple signed system for paraconsistent reasoning
Cites Work
