Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Arithmetic classification of perfect models of stratified programs
Fundamenta Informaticae - Special issue on LOGIC PROGRAMMING
Handbook of theoretical computer science (vol. B)
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Reasoning about termination of pure Prolog programs
Information and Computation
On the occur-check-free PROLOG programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The expressive powers of the logic programming semantics
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Circumscribing DATALOG: expressive power and complexity
Theoretical Computer Science
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
On the equivalence and range of applicability of graph-based representations of logic programs
Information Processing Letters
Composing Normal Programs with Function Symbols
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Towards an integration of answer set and constraint solving
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Hi-index | 0.00 |
Schlipf [Sch95] proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf's result to prove that SLP solves all search problems in the class NP. Moreover, we do this in a uniform way as defined in [MT99]. Specifically, we show that there is a single DATALOG¬ program PTrg such that given any Turing machine M, any polynomial p with non-negative integer coefficients and any input σ of size n over a fixed alphabet Σ, there is an extensional database edbM,p,σ such that there is a one-to-one correspondence between the stable models of edbM,p,σ ∪ PTrg and the accepting computations of the machine M that reach the final state in at most p(n) steps. Moreover, edbM,p,σ can be computed in polynomial time from p, σ and the description of M and the decoding of such accepting computations from its corresponding stable model of edbM,p,σ ∪ PTrg can be computed in linear time. A similar statement holds for Default Logic with respect to Σ2p-search problems. We also show that there is single program Meta which is a metainter-preter for SLP programs. That is, for any program Q, there there is an encoding of Q as an extensional data base edbQ such that the stable models of Meta ∪ edbQ are in one-to-one correspondence with the stable models of Q.