Complexity and expressive power of logic programming

Authors:
Evgeny Dantsin;Thomas Eiter;Georg Gottlob;Andrei Voronkov
Affiliations:
Roosevelt University, Chicago, IL, USA;Vienna University of Technology, Vienna, Austria;Vienna University of Technology, Vienna, Austria;University of Manchester, Manchester, United Kingdom
Venue:
ACM Computing Surveys (CSUR)
Year:
2001

Citing 192
Cited 187

Alternation and the computational complexity of logic programs

Journal of Logic Programming
On the sequential nature of unification

Journal of Logic Programming
Computability theory, semantics, and logic programming

Computability theory, semantics, and logic programming
Relational queries computable in polynomial time

Information and Control
A note on succinct representations of graphs

Information and Control
Logic programs and alternation

Proceedings on Third international conference on logic programming
Parallel evaluation of recursive rule queries

PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
NP-completeness of the set unification and matching problems

Proc. of the 8th international conference on Automated deduction
Enumeration operators and modular logic programming

Journal of Logic Programming
A decidable class of bounded recursions

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Decidability and expressiveness aspects of logic queries

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Subsumption and implication

Information Processing Letters
Unification as a complexity measure for logic programming

Journal of Logic Programming
Languages that capture complexity classes

SIAM Journal on Computing
Skolem normal forms concerning the least fixpoint

Computation theory and logic
Complexity of matching problems

Journal of Symbolic Computation
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I
Solving systems of polynomial inequalities in subexponential time

Journal of Symbolic Computation
Foundations of deductive databases and logic programming

Foundations of deductive databases and logic programming
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
Logic programming and parallel complexity

Foundations of deductive databases and logic programming
Equivalences of logic programs

Foundations of deductive databases and logic programming
Optimizing datalog programs

Foundations of deductive databases and logic programming
Some algebraic and geometric computations in PSPACE

STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Parallel algorithms for term matching

SIAM Journal on Computing
Extending SLD resolution to equational horn clauses using E-unification

Journal of Logic Programming
Boundedness is undecidable for datalog programs with a single recursive rule

Information Processing Letters
Descriptive characterizations of computational complexity

Journal of Computer and System Sciences
Expressiveness of restricted recursive queries

STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Quantifier elimination in the theory of an algebraically-closed field

STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
The alternating fixpoint of logic programs with negation

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Inductive pebble games and the expressive power of datalog

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the first-order expressibility of recursive queries

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Declarative modeling of the operational behavior of logic languages

Theoretical Computer Science
Structural complexity 2

Structural complexity 2
Generalized closed world assumption is II-complete

Information Processing Letters
Logic programming and databases

Logic programming and databases
Some results on equational unification

CADE-10 Proceedings of the tenth international conference on Automated deduction
Deciding Horn classes by hyperresolution

CSL '89 Proceedings of the third workshop on Computer science logic
Weighted graphs: a tool for studying the halting problem and time complexity in term rewriting systems and logic programming

Theoretical Computer Science - Special issue on the international conference on fifth generation computer systems. Tokyo, 1988
The expressive power of stratified logic programs

Information and Computation
Negation in rule-based database languages: a survey

Selected papers of the workshop on Deductive database theory
Negation by default and unstratifiable logic programs

Selected papers of the workshop on Deductive database theory
Hypothetical datalog: complexity and expressibility

Theoretical Computer Science
Logic programming with strong negation

Proceedings of the international workshop on Extensions of logic programming
On the power of rule-based languages with sets

PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A simple characterization of uniform boundedness for a class for recursions

Journal of Logic Programming
Datalog extensions for database queries and updates

Journal of Computer and System Sciences
Why not negation by fixpoint?

Journal of Computer and System Sciences
A catalog of complexity classes

Handbook of theoretical computer science (vol. A)
Handbook of theoretical computer science (vol. B): formal models and semantics

Handbook of theoretical computer science (vol. B): formal models and semantics
Logic programming

Handbook of theoretical computer science (vol. B)
Elements of relational database theory

Handbook of theoretical computer science (vol. B)
Autoepistemic logic

Journal of the ACM (JACM)
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Computational complexity and constraint logic programming languages

Proceedings of the 1990 North American conference on Logic programming
Converting nested algebra expressions into flat algebra expressions

ACM Transactions on Database Systems (TODS)
Foundations of disjunctive logic programming

Foundations of disjunctive logic programming
Capturing complexity classes by fragments of second-order logic

Theoretical Computer Science - Special issue on logic and applications to computer science
Testing logic programs for local stratification

Theoretical Computer Science
The complexity of querying indefinite data about linearly ordered domains

PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of propositional knowledge base revision, updates, and counterfactuals

Artificial Intelligence
Automatic recognition of tractability in inference relations

Journal of the ACM (JACM)
Removing redundancy from a clause

Artificial Intelligence
Propositional circumscription and extended closed-world reasoning are &Pgr;p2-complete

Theoretical Computer Science
The parallel complexity of simple logic programs

Journal of the ACM (JACM)
On computational complexity of Prolog programs

Informatika '91 Selected papers of the 5th Soviet-French symposium on Theoretical computer science, methods and tools for compilation, and program development
Hereditarily-finite sets, data bases and polynomial-time computability

Informatika '91 Selected papers of the 5th Soviet-French symposium on Theoretical computer science, methods and tools for compilation, and program development
Satisfiability of the smallest binary program

Information Processing Letters
Transforming abductive logic programs to disjunctive programs

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Decision procedure for constraint based extensions of Datalog

Constraint logic programming
The complexity of algorithmic problems on succinct instances

Computer science
A logic for programming with complex objects

PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of unification problems with associative-commutative operators

Journal of Automated Reasoning
Inductive logic programming and learnability

ACM SIGART Bulletin
On the complexity of equivalence between recursive and nonrecursive Datalog programs

PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
New techniques for studying set languages, bag languages and aggregate functions

PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Adding disjunction to datalog (extended abstract)

PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantics for disjunctive logic programs with explicit and default negation

Fundamenta Informaticae
Unification theory

Handbook of logic in artificial intelligence and logic programming
On the equivalence between disjunctive and abductive logic programs

Proceedings of the eleventh international conference on Logic programming
Domain independence and the relational calculus

Acta Informatica
Datalog vs first-order logic

Proceedings of the 30th IEEE symposium on Foundations of computer science
The complexity of logic-based abduction

Journal of the ACM (JACM)
Computing with first-order logic

Selected papers of the 23rd annual ACM symposium on Theory of computing
Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)
Principles of programming with complex objects and collection types

ICDT '92 Selected papers of the fourth international conference on Database theory
Constraint query languages

Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The expressive powers of the logic programming semantics

Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the expressive power of Datalog: tools and a case study

Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of bounded-variable queries (extended abstract)

PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Extending Datalog with arrays

Data & Knowledge Engineering
On the efficiency of subsumption algorithms

Journal of the ACM (JACM)
Tractable query languages for complex object databases

Journal of Computer and System Sciences
On Datalog vs. polynomial time

Journal of Computer and System Sciences
On representation and querying incomplete information in databases with bags

Information Processing Letters
A query language for multidimensional arrays: design, implementation, and optimization techniques

SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Normal forms and conservative extension properties for query languages over collection types

Journal of Computer and System Sciences
Complexity of Makanin's algorithm

Journal of the ACM (JACM)
Unification in the union of disjoint equational theories: combining decision procedures

Journal of Symbolic Computation
Querying disjunctive databases through nonmonotonic logics

Theoretical Computer Science
Relational expressive power of constraint query languages

PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A non-ground realization of the stable and well-founded semantics

Theoretical Computer Science
First-order queries on databases embedded in an infinite structure

Information Processing Letters
Reducing disjunctive to non-disjunctive semantics by shift-operations

Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
Bounded fixpoints for complex objects

Theoretical Computer Science
&Dgr;-languages for sets and LOGSPACE computable graph transformers

NSL '94 Proceedings of the first workshop on Non-standard logics and logical aspects of computer science
The complexity of querying indefinite data about linearly ordered domains

Journal of Computer and System Sciences - Special issue: dedicated to the memory of Paris Kanellakis
Fixpoint logics, relational machines, and computational complexity

Journal of the ACM (JACM)
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation

Information and Computation
The expressive powers of stable models for bound and unbound DATALOG queries

Journal of Computer and System Sciences - special issue on complexity theory
The resolution calculus

The resolution calculus
Disjunctive datalog

ACM Transactions on Database Systems (TODS)
On the complexity of database queries (extended abstract)

PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Languages for relational databases over interpreted structures

PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Abduction from logic program: semantics and complexity

Theoretical Computer Science
Bounded arity Datalog ( ≠ ) queries on graphs

Journal of Computer and System Sciences - Special issue on principles of database systems
Circumscribing DATALOG: expressive power and complexity

Theoretical Computer Science
Complexity of nonrecursive logic programs with complex values

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Object identity as a query language primitive

Journal of the ACM (JACM)
First-Order Queries on Finite Structures Over the Reals

SIAM Journal on Computing
Succinct representation, leaf languages, and projection reductions

Information and Computation
Expressive power and complexity of partial models for disjunctive deductive databases

Theoretical Computer Science
The expressive powers of the logic programming semantics (extended abstract)

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint query languages (preliminary report)

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Hypertree decompositions and tractable queries

PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Preferred answer sets for extended logic programs

Artificial Intelligence
Decidability and undecidability results for boundedness of linear recursive queries

Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of some inductive logic programming problems

New Generation Computing - Special issue on inductive logic programming 97
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Equivalences Among Relational Expressions with the Union and Difference Operators

Journal of the ACM (JACM)
Alternation

Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming

Journal of the ACM (JACM)
On computing restricted projections of representative instances

PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs

SIAM Journal on Computing
On the complexity of perfect models of logic programs

Fundamenta Informaticae
Expressive power and data complexity of nonrecursive query languages for lists and trees (extended abstract)

PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An Efficient Unification Algorithm

ACM Transactions on Programming Languages and Systems (TOPLAS)
linear time datalob and branching time logic

Logic-based artificial intelligence
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Programming with non-determinism in deductive databases

Annals of Mathematics and Artificial Intelligence
On non-determinism in machines and languages

Annals of Mathematics and Artificial Intelligence
Rule-based languages

Annals of Mathematics and Artificial Intelligence
Semantics and expressiveness of disjunctive ordered logic

Annals of Mathematics and Artificial Intelligence
The power of languages for the manipulation of complex values

The VLDB Journal — The International Journal on Very Large Data Bases
Enhancing Disjunctive Datalog by Constraints

IEEE Transactions on Knowledge and Data Engineering
A Possible World Semantics for Disjunctive Databases

IEEE Transactions on Knowledge and Data Engineering
COL: A Logic-Based Language for Complex Objects

EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Deterministic Semantics for Datalog¬: Complexity and Expressive Power

DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Delta-Languages for Sets and sub-PTIME Graphs Transformers

ICDT '95 Proceedings of the 5th International Conference on Database Theory
Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries

ICDT '95 Proceedings of the 5th International Conference on Database Theory
Tractable Iteration Mechanisms for Bag Languages

ICDT '97 Proceedings of the 6th International Conference on Database Theory
Total and Partial Well-Founded Datalog Coincide

ICDT '97 Proceedings of the 6th International Conference on Database Theory
Local Properties of Query Languages

ICDT '97 Proceedings of the 6th International Conference on Database Theory
Complexity of Query Answering in Logic Databases with Complex Values

LFCS '97 Proceedings of the 4th International Symposium on Logical Foundations of Computer Science
Second Order Logic and the Weak Exponential Hierarchies

MFCS '95 Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science
Constraint Programming and Database Query Languages

TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract)

ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
The Expressive Power of Unique Total Stable Model Semantics

ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Computing Well-founded Semantics Faster

LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Non-Monotonic Reasoning with Quantified Boolean Constraints

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Modular Logic Programming and Generalized Quantifiers

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Strong and Weak Constraints in Disjunctive Datalog

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Affordable Classes of Normal Logic Programs

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
The 3 Frenchmen Method Proves Undecidability of the Uniform Boundedness for Single Recursive Rule Ternary DATALOG Programs

STACS '96 Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science
Fast Subsumption Algorithms

EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
First-order Definability over Constraint Databases

CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
On the Complexity of Some Inductive Logic Programming Problems

ILP '97 Proceedings of the 7th International Workshop on Inductive Logic Programming
Linear Constraint Query Languages: Expressive Power and Complexity

LCC '94 Selected Papers from the International Workshop on Logical and Computational Complexity
Logic and Databases: A 20 Year Retrospective

LID '96 Proceedings of the International Workshop on Logic in Databases
Subsumption Algorithms Based on Search Trees

CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
On Indefinite Databases and the Closed World Assumption

Proceedings of the 6th Conference on Automated Deduction
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
The Restricted and Bounded Fixpoint Closures of the Nested Relational Algebra are Equivalent

DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
Halting Problem of One Binary Horn Clause is Undecidable

STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
Normal Forms and the Complexity of Computations of Logic Programs

CSL '88 Proceedings of the 2nd Workshop on Computer Science Logic
On the Structure of Queries in Constraint Query Languages

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
DATALOG SIRUPs uniform boundedness is undecidable

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
On the Complexity of Abduction

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
On the Forms of Locality over Finite Models

LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Working with Arms: Complexity Results on Atomic Representations of Herbrand Models

LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Complexity and Expressive Power of Logic Programming

CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
The Complexity of Acyclic Conjunctive Queries

FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
The complexity of relational query languages (Extended Abstract)

STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Embedded implicational dependencies and their inference problem

STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Optimal implementation of conjunctive queries in relational data bases

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
The application of theorem proving to question-answering systems

The application of theorem proving to question-answering systems
A first‐order representation of stable models[1]A preliminary version of this paper has appeared in: Proc. 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR ’97), J. Dix, U. Furbach and A. Nerode, eds, LNCS 1265, Springer, 1997.

AI Communications
Reasoning with minimal belief and negation as failure: algorithms and complexity

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Datalog LITE: a deductive query language with linear time model checking

ACM Transactions on Computational Logic (TOCL)
Monadic datalog and the expressive power of languages for web information extraction

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Properties and Complexity in Feasible Logic-Based Argumentation for Electronic Commerce

IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
On the Expressibility of Stable Logic Programming

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the complexity of single-rule datalog queries

Information and Computation - Special issue: ICC '99
Verification of relational transducers for electronic commerce

Journal of Computer and System Sciences - Special issue on PODS 2000
Enhancing disjunctive logic programming systems by SAT checkers

Artificial Intelligence
A logic programming approach to knowledge-state planning: Semantics and complexity

ACM Transactions on Computational Logic (TOCL)
Answer sets for consistent query answering in inconsistent databases

Theory and Practice of Logic Programming
On the expressibility of stable logic programming

Theory and Practice of Logic Programming
Reasoning with infinite stable models

Artificial Intelligence
Making assumptions in the automated derivation

Information Sciences: an International Journal
Logic-based web information extraction

ACM SIGMOD Record
Consistent query answering under inclusion dependencies

CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
The Lixto data extraction project: back and forth between theory and practice

PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Complexity of propositional nested circumscription and nested abnormality theories

ACM Transactions on Computational Logic (TOCL)
Reasoning about evolving nonmonotonic knowledge bases

ACM Transactions on Computational Logic (TOCL)
A fine-grained, controllable, user-to-user delegation method in RBAC

Proceedings of the tenth ACM symposium on Access control models and technologies
On the complexity of nonrecursive XQuery and functional query languages on complex values

Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Minimal-change integrity maintenance using tuple deletions

Information and Computation
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications

Theory and Practice of Logic Programming
In defense of PDDL axioms

Artificial Intelligence
Causes and explanations in the structural-model approach: tractable cases

Artificial Intelligence
Processing queries on tree-structured data efficiently

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Consistent query answering in databases

ACM SIGMOD Record
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
Domain-dependent knowledge in answer set planning

ACM Transactions on Computational Logic (TOCL)
On the complexity of nonrecursive XQuery and functional query languages on complex values

ACM Transactions on Database Systems (TODS)
Template programs for Disjunctive Logic Programming: An operational semantics

AI Communications
Qualitative Uncertainty Orderings Revised

Electronic Notes in Theoretical Computer Science (ENTCS)
Magic Sets and their application to data integration

Journal of Computer and System Sciences
MulVAL: a logic-based network security analyzer

SSYM'05 Proceedings of the 14th conference on USENIX Security Symposium - Volume 14
Expressiveness and complexity of xml publishing transducers

Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
External sources of knowledge and value invention in logic programming

Annals of Mathematics and Artificial Intelligence
Distance semantics for database repair

Annals of Mathematics and Artificial Intelligence
Reasoning in Description Logics by a Reduction to Disjunctive Datalog

Journal of Automated Reasoning
Outlier detection by logic programming

ACM Transactions on Computational Logic (TOCL)
Machine learning: a review of classification and combining techniques

Artificial Intelligence Review
Comparative uncertainty: Theory and automation

Mathematical Structures in Computer Science
Complexity results for answer set programming with bounded predicate arities and implications

Annals of Mathematics and Artificial Intelligence
An ASP-based approach to dealing with agent perception failure

AI Communications
Repair localization for query answering from inconsistent databases

ACM Transactions on Database Systems (TODS)
Maintenance goals of agents in a dynamic environment: Formulation and policy construction

Artificial Intelligence
Combining answer set programming with description logics for the Semantic Web

Artificial Intelligence
Open answer set programming with guarded programs

ACM Transactions on Computational Logic (TOCL)
Semantic forgetting in answer set programming

Artificial Intelligence
Experimenting with parallelism for the instantiation of ASP programs

Journal of Algorithms
Expressiveness and complexity of XML publishing transducers

ACM Transactions on Database Systems (TODS)
Outlier detection using default reasoning

Artificial Intelligence
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
A SPARQL Semantics Based on Datalog

KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs

SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Model Generation for Horn Logic with Stratified Negation

FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Efficient Inclusion Checking for Deterministic Tree Automata and DTDs

Language and Automata Theory and Applications
Schema-Guided Induction of Monadic Queries

ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Tractable Reasoning with Bayesian Description Logics

SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Fuzzy matchmaking in e-marketplaces of peer entities using Datalog

Fuzzy Sets and Systems
A Flexible Model for Locating Services on the Web

International Journal of Electronic Commerce
Ranking Services Using Fuzzy HEX Programs

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
ELP: Tractable Rules for OWL 2

ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
On the Computability and Complexity Issues of Extended RDF

PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Program Correspondence under the Answer-Set Semantics: The Non-ground Case

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
WSMO-MX: A hybrid Semantic Web service matchmaker

Web Intelligence and Agent Systems
Exploiting conjunctive queries in description logic programs

Annals of Mathematics and Artificial Intelligence
From datalog rules to efficient programs with time and space guarantees

ACM Transactions on Programming Languages and Systems (TOPLAS)
Consistency property of finite FC-normal logic programs

Journal of Computer Science and Technology
A general datalog-based framework for tractable query answering over ontologies

Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logic Programs with Multiple Chances

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Approximating Extended Answer Sets

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Description Logic Rules

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Nested Proof Compilation and Proof Checking in Universal Pattern Logic

RSKT '09 Proceedings of the 4th International Conference on Rough Sets and Knowledge Technology
Representing ontologies using description logics, description graphs, and rules

Artificial Intelligence
Forgetting and conflict resolving in disjunctive logic programming

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Modular Nonmonotonic Logic Programming Revisited

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Complexity of the Stable Model Semantics for Queries on Incomplete Databases

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An ASP System with Functions, Lists, and Sets

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Using SAT and logic programming to design polynomial-time algorithms for planning in non-deterministic domains

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Strong and uniform equivalence in answer-set programming: characterizations and complexity results for the non-ground case

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Answer set planning under action costs

Journal of Artificial Intelligence Research
Complexity results for checking equivalence of stratified logic programs

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Efficient inclusion checking for deterministic tree automata and XML Schemas

Information and Computation
In defense of PDDL axioms

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Backdoors to typical case complexity

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A uniform integration of higher-order reasoning and external evaluations in answer-set programming

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Data complexity of reasoning in very expressive description logics

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Causes and explanations in the structural-model approach: Tractable cases

Artificial Intelligence
In defense of PDDL axioms

Artificial Intelligence
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

ACM Transactions on Computational Logic (TOCL)
A formal logic approach to firewall packet filtering analysis and generation

Artificial Intelligence Review
A parallel ASP instantiator based on DLV

Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Minimal-change integrity maintenance using tuple deletions

Information and Computation
Logic programs with abstract constraint atoms: The role of computations

Artificial Intelligence
Reconciling description logics and rules

Journal of the ACM (JACM)
On the complexity of answer set programming with aggregates

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
The LP-OD system: logic programming meets outlier detection

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Hierarchical decision making in multi-agent systems using answer set programming

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Characterizing and computing semantically correct answers from databases with annotated logic and answer sets

Proceedings of the 2nd international conference on Semantics in databases
Towards unifying semantic constraints and security constraints

Proceedings of the 2nd international conference on Semantics in databases
The consistency extractor system: Answer set programs for consistent query answering in databases

Data & Knowledge Engineering
The semantics of consistency and trust in peer data exchange systems

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Querying incomplete data with logic programs: ER strikes back

ER'07 Proceedings of the 26th international conference on Conceptual modeling
Logical foundations of (e)RDF(S): complexity and reasoning

ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Conjunctive queries for a tractable fragment of OWL 1.1

ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Tightly integrated probabilistic description logic programs for representing ontology mappings

FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Compositional modeling for data-centric business applications

SC'08 Proceedings of the 7th international conference on Software composition
Positive higher-order queries

Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data conflict resolution using trust mappings

Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Combining description logics, description graphs, and rules

FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Pedagogical plans as communication oriented objects

Computers & Education
Querying incomplete data over extended er schemata

Theory and Practice of Logic Programming
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Well-founded semantics for description logic programs in the semantic web

ACM Transactions on Computational Logic (TOCL)
MWeb: A principled framework for modular web rule bases and its semantics

ACM Transactions on Computational Logic (TOCL)
Components, platforms and possibilities: towards generic automation for MDA

EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Knowledge representation and non-monotonic reasoning

A 25-year perspective on logic programming
Answer set programming

A 25-year perspective on logic programming
Database theory: query languages

Algorithms and theory of computation handbook
dl2asp: implementing default logic via answer set programming

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Logical foundations of RDF(S) with datatypes

Journal of Artificial Intelligence Research
Query answering under non-guarded rules in datalog+/-

RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
On the semantic relationship between datalog and description logics

RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Semantics and complexity of recursive aggregates in answer set programming

Artificial Intelligence
The impact of virtual views on containment

Proceedings of the VLDB Endowment
Advanced processing for ontological queries

Proceedings of the VLDB Endowment
Context-sensitive refinements for stochastic optimisation algorithms in inductive logic programming

Artificial Intelligence Review
Complexity of higher-order queries

Proceedings of the 14th International Conference on Database Theory
Queries on Xml streams with bounded delay and concurrency

Information and Computation
Potassco: The Potsdam Answer Set Solving Collection

AI Communications - Answer Set Programming
Local closed world reasoning with description logics under the well-founded semantics

Artificial Intelligence
The third answer set programming competition: preliminary report of the system competition track

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
A declarative framework for matching iterative and aggregative patterns against event streams

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Detecting and repairing anomalous evolutions in noisy environments

Annals of Mathematics and Artificial Intelligence
Ontological query answering with existential rules

RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Answer set programming at a glance

Communications of the ACM
Fuzzy logic, annotation domains and semantic web languages

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Reasoning about metamodeling with formal specifications and automatic proofs

Proceedings of the 14th international conference on Model driven engineering languages and systems
Deductive multi-valued model checking

ICLP'05 Proceedings of the 21st international conference on Logic Programming
Preferential reasoning on a web of trust

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Combining RDF and part of OWL with rules: semantics, decidability, complexity

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Data integration and answer set programming

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Unfounded sets for disjunctive logic programs with arbitrary aggregates

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Guarded open answer set programming

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
External sources of computation for answer set solvers

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Consistent query answering: five easy pieces

ICDT'07 Proceedings of the 11th international conference on Database Theory
Policy transformations for preventing leakage of sensitive information in email systems

DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
Synthesis from temporal specifications using preferred answer set programming

ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Providing an uncertainty reasoning service for semantic web application

APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Cooperating answer set programming

ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Ontology query answering on databases

ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Magic sets and their application to data integration

ICDT'05 Proceedings of the 10th international conference on Database Theory
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Consistent query answers in virtual data integration systems

Inconsistency Tolerance
On the computational complexity of minimal-change integrity maintenance in relational databases

Inconsistency Tolerance
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs

Theory and Practice of Logic Programming
Query answering in peer-to-peer data exchange systems

EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Semantically correct query answers in the presence of null values

EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
A framework for reasoning with rough sets

Transactions on Rough Sets IV
Towards a scalable, pragmatic knowledge representation language for the web

PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Datalog for security, privacy and trust

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Equivalence between extended datalog programs -- a brief survey

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
The disjunctive datalog system DLV

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Tightly integrated probabilistic description logic programs for representing ontology mappings

Annals of Mathematics and Artificial Intelligence
A general Datalog-based framework for tractable query answering over ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
Walking the complexity lines for generalized guarded existential rules

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
On the complexity of dealing with inconsistency in description logic ontologies

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Datalog as a lingua franca for provenance querying and reasoning

TaPP'12 Proceedings of the 4th USENIX conference on Theory and Practice of Provenance
A top-k query answering procedure for fuzzy logic programming

Fuzzy Sets and Systems
Queries with guarded negation

Proceedings of the VLDB Endowment
The intelligent grounder of DLV

Correct Reasoning
Well-Supported semantics for logic programs with generalized rules

Correct Reasoning
Tractability and Intractability of Controlled Languages for Data Access

Studia Logica
Constructive techniques for meta- and model-level reasoning

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Towards more expressive ontology languages: The query answering problem

Artificial Intelligence
Inconsistency management for traffic regulations: formalization and complexity results

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Datalog: a perspective and the potential

Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Complexities of Horn Description Logics

ACM Transactions on Computational Logic (TOCL)
Understanding specification languages through their model theory

Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Flag & check: data access with monadically defined queries

Proceedings of the 32nd symposium on Principles of database systems
A Model-Theoretic Approach to Belief Change in Answer Set Programming

ACM Transactions on Computational Logic (TOCL)
Making the most of your triple store: query answering in OWL 2 using an RL reasoner

Proceedings of the 22nd international conference on World Wide Web
Answer set programming

RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Tractable queries for lightweight description logics

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Abstract Hilbertian deductive systems, infon logic, and Datalog

Information and Computation
Acyclicity notions for existential rules and their application to query answering in ontologies

Journal of Artificial Intelligence Research
Taming the infinite chase: query answering under expressive relational constraints

Journal of Artificial Intelligence Research
Nested Weight Constraints in ASP

Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011

Quantified Score

Hi-index	0.02

Visualization

Abstract

This article surveys various complexity and expressiveness results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general logic programming with function symbols. Next to classical results on plain logic programming (pure Horn clause programs), more recent results on various important extensions of logic programming are surveyed. These include logic programming with different forms of negation, disjunctive logic programming, logic programming with equality, and constraint logic programming.