A logical framework for default reasoning

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
A logic for default reasoning
Non-monotonic logic. I
Semantical considerations on nonmonotonic logic
A first-order conditional logic for prototypical properties
Formalizing nonmonotonic reasoning systems

Cited In (only showing first 100 items - show all)

Abductive inference in defeasible reasoning: a model for research programmes
A simple signed system for paraconsistent reasoning
Nonmonotonic reasoning with multiple belief sets
Extensions for open default theories via the domain closure assumption
Skeptical query-answering in Constrained Default Logic
A system for computing constrained default logic extensions
Hypothetical reasoning and brainware
Compiling specificity into approaches to nonmonotonic reasoning
Hypothetical updates, priority and inconsistency in a logic programming language
Abduction as deductive saturation: a proof-theoretic inquiry
Reasoning credulously and skeptically within a single extension
Consistency defaults
Title not available (Why is that?)
Hybrid Reasoning on a Bipolar Argumentation Framework
Reasoning with vague default
Restricted semantics for default reasoning
Computing the acceptability semantics
Minimal model semantics for sorted constraint representation
Is default logic a reinvention of inductive-statistical reasoning?
A decision method for nonmonotonic reasoning based on autoepistemic reasoning
Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning
Title not available (Why is that?)
Title not available (Why is that?)
Merging operators on stratified belief bases equipped with argumentative inference
Modelling phenomena and dynamic logic of phenomena
An assumption-based truth maintenance system dealing with non-ground justifications
Title not available (Why is that?)
Local logics, non-monotonicity and defeasible argumentation
Modular specifications with supernormal defaults
Default logic generalized and simplified
Obligation as optimal goal satisfaction
Active logic semantics for a single agent in a static world
System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence
Reasoning with stratified default theories
Title not available (Why is that?)
Twenty-Five Years of Preferred Subtheories
A query answering algorithm for Lukaszewicz' general open default theory
On rules of abduction.
EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
Additive Consolidation with Maximal Change
Choosing reference classes and building provisional models
Nonmonotonic reasoning based on incomplete logic
Connections between default reasoning and partial constraint satisfaction
Declarative Representation of Revision Strategies*
1998–99 Annual Meeting of the Association for Symbolic Logic
Abductive reasoning through filtering
The use of modal default reasoning in information systems
Title not available (Why is that?)
Title not available (Why is that?)
ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS
Preferential reasoning for modal logics
Preferential reasoning in the perspective of Poole default logic
A sphere world semantics for default reasoning
A theory of nonmonotonic inheritance based on annotated logic
On prediction in Theorist
Incorporating top-down information into bottom-up hypothetical reasoning
Equality and abductive residua for Horn clauses
Compiling a default reasoning system into Prolog
Default reasoning and belief revision: A syntax-independent approach
Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions
A note on the stable model semantics for logic programs
Cumulative default logic: In defense of nonmonotonic inference rules
A methodology for using a default and abductive reasoning system
Compositional model-theoretic semantics for logic programs
Conflicting imperatives and dyadic deontic logic
On first-order conditional logics
Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations
A logic for reasoning with inconsistent knowledge
Nested abnormality theories
Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
Default reasoning and possibility theory
Nonmonotonic reasoning: From finitary relations to infinitary inference operations
Abductive logics in a belief revision framework
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Abduction to plausible causes: an event-based model of belief update
Nonmonotonic inference based on expectations
A consistency-based approach for belief change
Equivalence issues in abduction and induction
Linear resolution for consequence finding
Abstract argumentation systems
An abstract, argumentation-theoretic approach to default reasoning
Semantics for a theory of defeasible reasoning
The open logic and its relation to circumscription
Operational concepts of nonmonotonic logics. I: Default logic
Logics in Artificial Intelligence
Abnormality and randomness
Default theories over monadic languages
Alternative approaches to default logic
Reasoning on the Web with Assumption-Based Argumentation
On the computational complexity of assumption-based argumentation for default reasoning.
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
Unifying default reasoning and belief revision in a modal framework
Belief revision, conditional logic and nonmonotonic reasoning
Non-prioritized ranked belief change
Abduction as belief revision
Similarity preservation in default logic
Prioritized logic programming and its application to commonsense reasoning
A mathematical treatment of defeasible reasoning and its implementation.
Dynamic reasoning with qualified syllogisms

Recommendations

This page was built for publication: A logical framework for default reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1104777)