ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Proceedings of the eleventh international conference on Logic programming
Bounded Model Checking Using Satisfiability Solving
Formal Methods in System Design
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence - Special issue on nonmonotonic reasoning
Modular Equivalence for Normal Logic Programs
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Here's the Beef: Answer Set Programming !
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Declarative semantics for the rule interchange format production rule dialect
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Modelling gene and protein regulatory networks with Answer Set Programming
International Journal of Data Mining and Bioinformatics
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
An incremental answer set programming based system for finite model computation
AI Communications - Answer Set Programming
Reactive answer set programming
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
plasp: a prototype for PDDL-based planning in ASP
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Knowledge-based multi-criteria optimization to support indoor positioning
Annals of Mathematics and Artificial Intelligence
Practical and methodological aspects of the use of cutting-edge ASP tools
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Finite model computation via answer set programming
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Applications of action languages in cognitive robotics
Correct Reasoning
Gearing up for effective ASP planning
Correct Reasoning
Intelligent Service Robotics
Module theorem for the general theory of stable models
Theory and Practice of Logic Programming
Computational alignment of goals and scenarios for complex systems
Proceedings of the 2013 International Conference on Software Engineering
Advanced conflict-driven disjunctive answer set solving
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A Tabled Prolog Program for Solving Sokoban
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
| Hi-index | 0.00 |
Many real-world applications, like planning or model checking, comprise a parameter reflecting the size of a solution. In a propositional formalism like Answer Set Programming (ASP), such problems can only be dealt with in a bounded way, considering one problem instance after another by gradually increasing the bound on the solution size. We thus propose an incremental approach to both grounding and solving in ASP. Our goal is to avoid redundancy by gradually processing the extensions to a problem rather than repeatedly re-processing the entire (extended) problem. We start by furnishing a formal framework capturing our incremental approach in terms of module theory. In turn, we take advantage of this framework for guiding the successive treatment of program slices during grounding and solving. Finally, we describe the first integrated incremental ASP system, iclingo , and provide an experimental evaluation.