On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Proceedings of the eleventh international conference on Logic programming
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
From SPARQL to rules (and back)
Proceedings of the 16th international conference on World Wide Web
Ranking semantic information for e-government: complaints management
OBI '08 Proceedings of the first international workshop on Ontology-supported business intelligence
Computable Functions in ASP: Theory and Implementation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
Exploiting conjunctive queries in description logic programs
Annals of Mathematics and Artificial Intelligence
Solution Enumeration for Projected Boolean Search Problems
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Equilibria in heterogeneous nonmonotonic multi-context systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
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
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Decomposition of declarative knowledge bases with external functions
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A parallel ASP instantiator based on DLV
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Conditional planning with external functions
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Exploiting unfounded sets for HEX-Program evaluation
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Conflict-driven asp solving with external sources
Theory and Practice of Logic Programming
Hi-index | 0.00 |
The evaluation of logic programs with access to external knowledge sources requires to interleave external computation and model building. Deciding where and how to stop with one task and proceed with the next is a difficult problem, and existing approaches have severe scalability limitations in many real-world application scenarios. We introduce a new approach for organizing the evaluation of logic programs with external knowledge sources and describe a configurable framework for dividing the non-ground program into overlapping possiblysmaller parts called evaluation units. These units will then be processed by interleaving external evaluations and model building according to an evaluation and a model graph, and by combining intermediate results. Experiments with our prototype implementation show a significant improvement of this technique compared to existing approaches. Interestingly, even for ordinary logic programs (with no external access), our decomposition approach speeds up existing state of the art ASP solvers in some cases, showing its potential for wider usage.