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
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
