scientific article; zbMATH DE number 140388

MaRDI QIDQ4028795zbMATHFDO

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

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

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

(35)

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