scientific article
From MaRDI portal
Publication:4028795
zbMath0766.68127MaRDI QIDQ4028795
Miroslaw Truszczynski, Halina Przymusinska, Vladimir Lifschitz, Michael Gelfond
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (29)
Operational concepts of nonmonotonic logics. I: Default logic ⋮ Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies ⋮ Reasoning with power defaults ⋮ Deontic logic as founded on nonmonotonic logic ⋮ Operational characterization of extensions in some logics for default reasoning ⋮ Update by means of inference rules ⋮ Polynomial-time computable stable models ⋮ Reasoning with minimal models: efficient algorithms and applications ⋮ Reasoning by cases in Default Logic ⋮ Skeptical rational extensions ⋮ Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs ⋮ Semantics and complexity of abduction from default theories ⋮ Unnamed Item ⋮ Rule Calculus: Semantics, Axioms and Applications ⋮ Free choice reasons ⋮ Graph theoretical structures in logic programs and default theories ⋮ A logic of knowledge and justified assumption ⋮ Relating minimal models and pre-requisite-free normal defaults ⋮ Cumulativity Tailored for Nonmonotonic Reasoning ⋮ Default logic and bounded treewidth ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ Default logic generalized and simplified ⋮ Lexicographic priorities in default logic ⋮ Semi-representability of default theories in rational default logic ⋮ Detecting Inconsistencies in Large Biological Networks with Answer Set Programming ⋮ Graph-based construction of minimal models ⋮ Assumption-based argumentation for extended disjunctive logic programming ⋮ A causal approach to nonmonotonic reasoning
This page was built for publication:
