Recommendations
- scientific article; zbMATH DE number 1292298
- scientific article; zbMATH DE number 4200176
- scientific article; zbMATH DE number 989172
- An argumentation framework in default logic
- scientific article; zbMATH DE number 1522676
- An abstract, argumentation-theoretic approach to default reasoning
- scientific article; zbMATH DE number 2064305
- scientific article; zbMATH DE number 823628
- Modal logic for default reasoning
- Default reasoning and possibility theory
Cites work
- scientific article; zbMATH DE number 3136643 (Why is no real title available?)
- scientific article; zbMATH DE number 4053069 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- A first-order conditional logic for prototypical properties
- A logic for default reasoning
- Formalizing nonmonotonic reasoning systems
- Non-monotonic logic. I
- Semantical considerations on nonmonotonic logic
Cited in
(only showing first 100 items - show all)- A modal logic for subjective default reasoning
- scientific article; zbMATH DE number 517030 (Why is no real title available?)
- Abductive inference in defeasible reasoning: a model for research programmes
- Preferential reasoning for modal logics
- Preferential reasoning in the perspective of Poole default logic
- Default consequence relations as a logical framework for logic programs
- A glimpse on Gerhard Brewka's contributions to artificial intelligence
- 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
- A simple signed system for paraconsistent reasoning
- Nonmonotonic reasoning with multiple belief sets
- Compiling a default reasoning system into Prolog
- Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions
- A sphere world semantics for default reasoning
- Default reasoning and belief revision: A syntax-independent approach
- A note on the stable model semantics for logic programs
- Cumulative default logic: In defense of nonmonotonic inference rules
- Extensions for open default theories via the domain closure assumption
- Skeptical query-answering in Constrained Default Logic
- Compositional model-theoretic semantics for logic programs
- Hypothetical reasoning and brainware
- Compiling specificity into approaches to nonmonotonic reasoning
- A methodology for using a default and abductive reasoning system
- A system for computing constrained default logic extensions
- Computing with default logic
- Hypothetical updates, priority and inconsistency in a logic programming language
- On first-order conditional logics
- Conflicting imperatives and dyadic deontic logic
- Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations
- A logic for reasoning with inconsistent knowledge
- Reward versus risk in uncertain inference: theorems and simulations
- Nested abnormality theories
- Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
- The dramatic true story of the frame default
- Default reasoning and possibility theory
- Abduction as deductive saturation: a proof-theoretic inquiry
- Consistency defaults
- Nonmonotonic reasoning: From finitary relations to infinitary inference operations
- Reasoning credulously and skeptically within a single extension
- Abductive logics in a belief revision framework
- Additive consolidation with maximal change
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- scientific article; zbMATH DE number 2031006 (Why is no real title available?)
- Nonmonotonic inference based on expectations
- Abduction to plausible causes: an event-based model of belief update
- 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
- Abnormality and randomness
- Operational concepts of nonmonotonic logics. I: Default logic
- Default theories over monadic languages
- Reasoning with vague default
- Alternative approaches to default logic
- Logics in Artificial Intelligence
- Restricted semantics for default reasoning
- 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
- Is default logic a reinvention of inductive-statistical reasoning?
- Belief revision, conditional logic and nonmonotonic reasoning
- Minimal model semantics for sorted constraint representation
- Computing the acceptability semantics
- Non-prioritized ranked belief change
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning
- Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning
- Abduction as belief revision
- Similarity preservation in default logic
- Prioritized logic programming and its application to commonsense reasoning
- scientific article; zbMATH DE number 1973866 (Why is no real title available?)
- A mathematical treatment of defeasible reasoning and its implementation.
- scientific article; zbMATH DE number 4174344 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1696836 (Why is no real title available?)
- Nonmonotonic inferences and neural networks
- Logic Programming with Defaults and Argumentation Theories
- Another perspective on default reasoning
- Combining answer set programming with description logics for the semantic web
- Local logics, non-monotonicity and defeasible argumentation
- A comparative study of open default theories
- scientific article; zbMATH DE number 569774 (Why is no real title available?)
- Modelling phenomena and dynamic logic of phenomena
- An assumption-based truth maintenance system dealing with non-ground justifications
- Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
- Merging operators on stratified belief bases equipped with argumentative inference
- Dialectic proof procedures for assumption-based, admissible argumentation
- Meta Level Reasoning and Default Reasoning
- Modular specifications with supernormal defaults
- Default logic generalized and simplified
- scientific article; zbMATH DE number 4166920 (Why is no real title available?)
- Obligation as optimal goal satisfaction
- Conditional entailment: bridging two approaches to default reasoning.
- Conditional logics of normality: A modal approach
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)
