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)

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
The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
A Prolog technology theorem prover: A new exposition and implementation in Prolog
Nonmonotonic inferences and neural networks
Another perspective on default reasoning
Combining answer set programming with description logics for the semantic web
A comparative study of open default theories
Dialectic proof procedures for assumption-based, admissible argumentation
Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
Conditional entailment: bridging two approaches to default reasoning.
Conditional logics of normality: A modal approach
Default reasoning by deductive planning
Lexicographic priorities in default logic
Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
Probabilistic Horn abduction and Bayesian networks
Grammatically biased learning: Learning logic programs using an explicit antecedent description language
An argumentation framework in default logic
Prolog technology for default reasoning: proof theory and compilation techniques
Constraints for input/output logics
Expressing preferences in default logic
A comparative survey of default logic variants
REWARD VERSUS RISK IN UNCERTAIN INFERENCE: THEOREMS AND SIMULATIONS
Defeasible reasoning with variable degrees of justification
Updating knowledge bases
Semantics and complexity of abduction from default theories
Judgment aggregation in nonmonotonic logic
Title not available (Why is that?)
Title not available (Why is that?)
Completing causal networks by meta-level abduction
Redundancy in logic. III: Non-monotonic reasoning
Title not available (Why is that?)
Nonmonotonic inconsistency
Graded hypothesis theories
Hypothesizing about signaling networks
A modal logic for subjective default reasoning
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

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)