scientific article; zbMATH DE number 140388

MaRDI QIDQ4028795zbMATH OpenFDO

Authors Halina Przymusinska, Vladimir Lifschitz, Mirosław Truszczyński, Michael Gelfond

Publication date 28 March 1993

zbMATH Keywords

default reasoningdisjunctive default logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1269576
• Tableau-based characterization and theorem proving for default logic
• Default logic generalized and simplified
• General Default Logic
• scientific article; zbMATH DE number 140378

Cited in

(37)

• Default logic generalized and simplified
• Reasoning with minimal models: efficient algorithms and applications
• Reasoning by cases in Default Logic
• A logic of knowledge and justified assumption
• Relating minimal models and pre-requisite-free normal defaults
• On the relation between default and modal nonmonotonic reasoning
• Prolog technology for default reasoning: proof theory and compilation techniques
• Lexicographic priorities in default logic
• Operational concepts of nonmonotonic logics. I: Default logic
• Querying disjunctive databases through nonmonotonic logics
• Deontic logic as founded on nonmonotonic logic
• Operational characterization of extensions in some logics for default reasoning
• Polynomial-time computable stable models
• Semantics and complexity of abduction from default theories
• Reasoning with power defaults
• Graph-based construction of minimal models
• Assumption-based argumentation for extended disjunctive logic programming
• Free choice reasons
• Disjunction as alternative choices
• Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
• Rule Calculus: Semantics, Axioms and Applications
• scientific article; zbMATH DE number 1537940 (Why is no real title available?)
• scientific article; zbMATH DE number 7455719 (Why is no real title available?)
• DISJUNCTIVITY
• Disjunctive Rule Lists
• Update by means of inference rules
• Skeptical rational extensions
• Cumulativity Tailored for Nonmonotonic Reasoning
• Semi-representability of default theories in rational default logic
• Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
• scientific article; zbMATH DE number 4189222 (Why is no real title available?)
• Default logic and bounded treewidth
• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
• Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
• Graph theoretical structures in logic programs and default theories
• Hypothesis-driven disjunctive reasoning in logical argumentation
• A causal approach to nonmonotonic reasoning

This page was built for publication:

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