Semantical considerations on nonmonotonic logic
Artificial Intelligence
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Negation as failure using tight derivations for general logic programs
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
An algorithm to compute circumscription
Artificial Intelligence
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic programs with classical negation
Logic programming
Arithmetic classification of perfect models of stratified programs
Fundamenta Informaticae - Special issue on LOGIC PROGRAMMING
Negation by default and unstratifiable logic programs
Selected papers of the workshop on Deductive database theory
Three-valued formalizations of non-monotonic reasoning and logic programming
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
The expressive powers of the logic programming semantics
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Topological characterizations for logic programming semantics
Topological characterizations for logic programming semantics
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Normal default logic, the fragment of default logic obtained by restricting defaults to rules of the form α:Mβ/β, is the most important and widely studied part of default logic. In [20], we proved a basis theorem for extensions of recursive propositional logic normal default theories and hence for finite predicate logic normal default theories. That is, we proved that every recursive propositional normal default theory possesses an extension which is r.e. in 0′. Here we show that this bound is tight. Specifically, we show that for every r.e. set A and every set B r.e. in A there is a recursive normal default theory 〈D, W〉 with a unique extension which is Turing-equivalent to A ⌖ B. A similar result holds for finite predicate logic normal default theories.