A logic for default reasoning

Cites work

A logic for default reasoning
A Machine-Oriented Logic Based on the Resolution Principle
A Proof Procedure Using Connection Graphs
Discussion and correspondence: A note on the Towers of Hanoi problem
Extracting information from resolution proof trees
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?)
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)

Indiscriminability as indiscernibility by default
Modeling generalized implicatures using non-monotonic logics
Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning
My work with Victor Marek: a mathematician looks at answer set programming
Default logic generalized and simplified
Consistency properties and set based logic programming
Inductive situation calculus
Argumentation in artificial intelligence
On principle-based evaluation of extension-based argumentation semantics
The computational complexity of ideal semantics
A computational approach to fuzzy quantifiers in natural languages
Some representational issues in default reasoning
Ordering conjunctive queries
Saturation, nonmonotonic reasoning and the closed-world assumption
Automated inferencing
Formalizing nonmonotonic reasoning systems
A theory of diagnosis from first principles
A natural semantics for modal logic over databases
Default reasoning and possibility theory
Reasoning about action. I: A possible worlds approach
Reasoning about action. II: The qualification problem
An approach to default reasoning based on a first-order conditional logic: Revised report
On the relation between default and autoepistemic logic
A logical framework for default reasoning
The anomalous extension problem in default reasoning
Autocircumscription
A first-order conditional logic for prototypical properties
Nonmonotonic logic and temporal projection
Expert system models for inference with imperfect knowledge: A comparative study
Efficient reasoning about rich temporal domains
On the relationship between circumscription and negation as failure
An algorithm to compute circumscription
Results on translating defaults to circumscription
Minimalism, justification and non-monotonicity in deductive databases
On usual values in commonsense reasoning
Default reasoning in semantic networks: A formalization of recognition and inheritance
Reasoning with minimal models: efficient algorithms and applications
On the logic of causal explanation
A note on the stable model semantics for logic programs
Defaults and relevance in model-based reasoning
Preferential reasoning in the perspective of Poole default logic
Reasoning by cases in Default Logic
A logic for default reasoning
Addendum: Circumscription and other non-monotonic formalisms
Circumscription - a form of non-monotonic reasoning
Non-monotonic logic. I
General logical databases and programs: Default logic semantics and stratification
Nonmonotonic reasoning, preferential models and cumulative logics
Impediments to universal preference-based default theories
Hard problems for simple default logics
The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
Three-valued nonmonotonic formalisms and semantics of logic programs
Default knowledge and measures of specificity
Cumulative default logic: In defense of nonmonotonic inference rules
A general framework for reason maintenance
The theory of nomic probability
Nonmonotonicity and the scope of reasoning
On the consistency of defeasible databases
How complicated is the set of stable models of a recursive logic program?
What does a conditional knowledge base entail?
Resolving ambiguity in nonmonotonic inheritance hierarchies
An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic
Stable and extension class theory for logic programs and default logics
The relationship between stable, supported, default and autoepistemic semantics for general logic programs
On the complexity of propositional knowledge base revision, updates, and counterfactuals
A logic of knowledge and justified assumption
How to reason defeasibly
A logic for reasoning with inconsistent knowledge
Saying more with frames: Slots as classes
Relating minimal models and pre-requisite-free normal defaults
Decomposition of linguistic-logical decision models in distributed computing environments
On the relation between default and modal nonmonotonic reasoning
On first-order conditional logics
Reaching agreements through argumentation: a logical model and implementation
Inheritance comes of age: applying nonmonotonic techniques to problems in industry
From environments to representations -- a mathematical theory of artificial perceptions
Prolog technology for default reasoning: proof theory and compilation techniques
Lexicographic priorities in default logic
A framework for group decision support systems: Combining AI tools and OR techniques
Reasoning with vague default
Definable deduction relation
Characterizations and algorithms of extensions for CADL and QDL
A general scheme for formalizing defaults using the predicate \(ab(I,S)\)
Non-monotonic fuzzy reasoning
An overview of fuzzy quantifiers. II. Reasoning and applications
Is default logic a reinvention of inductive-statistical reasoning?
Logic programs, well-orderings, and forward chaining
The open logic and its relation to circumscription
Succinctness as a source of complexity in logical formalisms
Interpreting disjunctive logic programs based on a strong sense of disjunction
Dualities between alternative semantics for logic programming and nonmonotonic reasoning
Moral dilemmas and nonmonotonic logic
On cumulative default logics
Nonmonotonic inference based on expectations
A theory of measurement in diagnosis from first principles
A context for belief revision: forward chaining-normal nonmonotonic rule systems
The complexity of propositional closed world reasoning and circumscription
Inheritance systems with exceptions
Justification and defeat
Minimal knowledge problem: A new approach

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)