A logic for default reasoning
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3664336 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- scientific article; zbMATH DE number 3320385 (Why is no real title available?)
- scientific article; zbMATH DE number 3343519 (Why is no real title available?)
- scientific article; zbMATH DE number 3351214 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- scientific article; zbMATH DE number 3395365 (Why is no real title available?)
- A Machine-Oriented Logic Based on the Resolution Principle
- A Proof Procedure Using Connection Graphs
- A logic for default reasoning
- Discussion and correspondence: A note on the Towers of Hanoi problem
- Extracting information from resolution proof trees
- Linear resolution with selection function
- Two Results on Ordering for Resolution with Merging and Linear Format
Cited in
(only showing first 100 items - show all)- The Complexity of Reasoning for Fragments of Default Logic
- A modal logic for subjective default reasoning
- Negation by default and unstratifiable logic programs
- A Bayesian approach to informal argument fallacies
- Constraints on extensions of a default theory
- Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs
- Inconsistency measurement
- Nonmonotonic reasoning by inhibition nets
- A first-order conditional logic for prototypical properties
- Results on translating defaults to circumscription
- Belief liberation (and retraction)
- Preferential reasoning in the perspective of Poole default logic
- Connexivity in the logic of reasons
- Reasoning with power defaults
- Default consequence relations as a logical framework for logic programs
- Uniform semantic treatment of default and autoepistemic logics
- Provided you're not trivial: adding defaults and paraconsistency to a formal model of explanation
- Default rules in the logic of first-degree entailments
- A glimpse on Gerhard Brewka's contributions to artificial intelligence
- Explaining preferences and preferring explanations
- A logic-based analysis of Dempster-Shafer theory
- Inconsistency measures for probabilistic logics
- On the autoepistemic reconstruction of logic programming
- On prediction in Theorist
- A reasoning method for a paraconsistent logic
- Incorporating top-down information into bottom-up hypothetical reasoning
- A logical framework for default reasoning
- Assessing the accuracy of diagnostic probability estimation: evidence for defeasible modus ponens
- Opinion diffusion and influence: a logical approach
- Efficient reasoning about rich temporal domains
- A simple signed system for paraconsistent reasoning
- On the relation between default and modal nonmonotonic reasoning
- The new Tweety puzzle: arguments against monistic Bayesian approaches in epistemology and cognitive science
- Nonmonotonic reasoning with multiple belief sets
- A sound and complete proof theory for the generalized logic of only knowing
- A note on the cumulativity of justified default logic
- Studying properties of classes of default logics
- THE LOGIC OF ROLE THEORY: ROLE CONFLICT AND STABILITY OF THE SELF-CONCEPT
- Compiling a default reasoning system into Prolog
- Assumption-based argumentation for extended disjunctive logic programming
- Properties of system W and its relationships to other inductive inference operators
- GK: implementing full first order default logic for commonsense reasoning (system description)
- Sequent calculi for choice logics
- Paraconsistent inference relations induced from inconsistency measures
- Defaults in domain theory
- Causality as a key to the frame problem
- Remedial interchange, contrary-to-duty obligation and commutation
- Querying disjunctive databases through nonmonotonic logics
- Free choice reasons
- Modal logic for default reasoning
- A sphere world semantics for default reasoning
- Nonmonotonicity and the scope of reasoning
- Default reasoning and belief revision: A syntax-independent approach
- Abduction from logic programs: Semantics and complexity
- Is intractability of nonmonotonic reasoning a real drawback?
- An information-based theory of conditionals
- Rule Calculus: Semantics, Axioms and Applications
- Reducing belief revision to circumscription (and vice versa)
- Model-based recasting in answer-set programming
- A note on the stable model semantics for logic programs
- General logical databases and programs: Default logic semantics and stratification
- A postulate-driven study of logical argumentation
- How does a box work? A study in the qualitative dynamics of solid objects
- Semantics and complexity of recursive aggregates in answer set programming
- Cumulative default logic: In defense of nonmonotonic inference rules
- Three-valued nonmonotonic formalisms and semantics of logic programs
- Formalizing nonmonotonic reasoning systems
- How complicated is the set of stable models of a recursive logic program?
- Extensions for open default theories via the domain closure assumption
- An inferential theory of causal reasoning
- Skeptical query-answering in Constrained Default Logic
- Stable and extension class theory for logic programs and default logics
- Multi-interpretation operators and approximate classification.
- Compiling specificity into approaches to nonmonotonic reasoning
- Defeasible inheritance on cyclic networks
- A generalized view of nonmonotonic knowledge: a set of theoretic perspective
- Multi-valued logic programming semantics An algebraic approach
- The place of logic in reasoning
- How Dirty Is Your Relational Database? An Axiomatic Approach
- Outlier detection using default reasoning
- On the equivalence between logic programming semantics and argumentation semantics
- A system for computing constrained default logic extensions
- My work with Victor Marek: a mathematician looks at answer set programming
- A context for belief revision: forward chaining-normal nonmonotonic rule systems
- Default Negation as Explicit Negation plus Update
- Support set selection for abductive and default reasoning
- Embedding justification theory in approximation fixpoint theory
- Strong backdoors for default logic
- Computational complexity of flat and generic assumption-based argumentation, with and without probabilities
- A theory of nonmonotonic rule systems. II
- Some representational issues in default reasoning
- A theory of nonmonotonic rule systems I
- Strong Backdoors for Default Logic
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- From systems to logic in the early development of nonmonotonic reasoning
- John McCarthy's legacy
- The truth about defaults
- OSCAR
- Reasoning with infinite stable models
- Default reasoning in semantic networks: A formalization of recognition and inheritance
This page was built for publication: A logic for default reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1140434)
