Skip to main content
    • Aa
    • Aa

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis*


Answer set programming (ASP) is a well-established declarative paradigm. One of the successes of ASP is the availability of efficient systems. State-of-the-art systems are based on the ground+solve approach. In some applications, this approach is infeasible because the grounding of one or a few constraints is expensive. In this paper, we systematically compare alternative strategies to avoid the instantiation of problematic constraints, which are based on custom extensions of the solver. Results on real and synthetic benchmarks highlight some strengths and weaknesses of the different strategies.

Hide All

The paper has been partially supported by the Italian Ministry for Economic Development (MISE) under project “PIUCultura – Paradigmi Innovativi per l'Utilizzo della Cultura” (no. F/020016/01-02/X27), under project “Smarter Solutions in the Big Data World (S2BDW)” (no. F/050389/01-03/X32) funded within the call “HORIZON2020” PON I&C 2014-2020, and by the Scientific and Technological Research Council of Turkey (TUBITAK) Grant 114E777.

Hide All
AchlioptasD. 2009. Random satisfiability. In Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, Amsterdam/Washington, Vol. 185. IOS, 245270.
AlvianoM. and DodaroC. 2016. Completion of disjunctive logic programs. In Proc. of International Joint Conference on Artificial Intelligence. IJCAI/AAAI, 886–892.
AlvianoM., DodaroC., LeoneN. and RiccaF. 2015. Advances in WASP. In Proc. of International Conference on Logic Programming and Non-monotonic Reasoning. Lecture Notes in Computer Science, Vol. 9345. Springer, 40–54.
AschingerM., DrescherC., FriedrichG., GottlobG., JeavonsP., RyabokonA. and ThorstensenE. 2011. Optimization methods for the partner units problem. In Proc. of International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, 4–19.
AzizR. A., ChuG. and StuckeyP. J. 2013. Stable model semantics for founded bounds. Theory and Practice of Logic Programming 13, 4–5, 517532.
BalducciniM. and LierlerY. 2013. Integration schemas for constraint answer set programming: A case study. Theory and Practice of Logic Programming 13, 4–5 Online-Supplement.
BalducciniM. and LierlerY. 2017. Constraint answer set solver EZCSP and why integration schemas matter. Theory and Practice of Logic Programming 17, 4, 462515.
BaseliceS., BonattiP. A. and GelfondM. 2005. A preliminary report on integrating of answer set and constraint solving. In Proc. of CEUR Workshop on Answer Set Programming, vol. 142.
BichlerM., MorakM. and WoltranS. 2016. The power of non-ground rules in answer set programming. Theory and Practice of Logic Programming 16, 5–6, 552569.
BrewkaG., EiterT. and TruszczynskiM. 2011. Answer set programming at a glance. Commun. ACM 54, 12, 92103.
CalimeriF., GebserM., MarateaM. and RiccaF. 2016. Design and results of the fifth answer set programming competition. Artificial Intelligence 231, 151181.
Dal~PalùA., DovierA., PontelliE. and RossiG. 2009. GASP: Answer set programming with lazy grounding. Fundamenta Informaticae 96, 3, 297322.
Dao-TranM., EiterT., FinkM., WeidingerG. and WeinzierlA. 2012. Omiga: An open minded grounding on-the-fly answer set solver. In Proc. of European Conference on Logics in Artificial Intelligence. Lecture Notes in Computer Science, vol. 7519. Springer, 480–483.
de~CatB., DeneckerM., BruynoogheM. and StuckeyP. J. 2015. Lazy model expansion: Interleaving grounding with search. Journal of Artificial Intelligence Research 52, 235286.
DodaroC., GasteigerP., LeoneN., MusitschB., RiccaF. and SchekotihinK. 2016a. Combining answer set programming and domain heuristics for solving hard industrial problems (application paper). Theory and Practice of Logic Programming 16, 5–6, 653669.
DodaroC., RiccaF. and SchüllerP. 2016b. External propagators in WASP: preliminary report. In Proc. of RCRA. CEUR Workshop Proceedings, vol. 1745., 1–9.
EiterT., FinkM., IanniG., KrennwallnerT., RedlC. and SchüllerP. 2016a. A model building framework for answer set programming with external computations. Theory and Practice of Logic Programming 16, 4, 418464.
EiterT., RedlC. and SchüllerP. 2016b. Problem solving using the HEX family. In Computational Models of Rationality, Essays Dedicated to Gabriele Kern-Isberner on the Occasion of her 60th Birthday. College Publications, 150174.
ErdemE. and ÖztokU. 2015. Generating explanations for biomedical queries. Theory and Practice of Logic Programming 15, 1, 3578.
ErdemE., PatogluV. and SchüllerP. 2016. A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. AI Communications 29, 2, 319349.
FeydyT. and StuckeyP. J. 2009. Lazy clause generation reengineered. In Proc. of Principles and Practice of Constraint Programming. Lecture Notes in Computer Science, vol. 5732. Springer, 352–366.
GebserM., KaminskiR., KaufmannB., OstrowskiM., SchaubT. and WankoP. 2016. Theory solving made easy with clingo 5. In Proc. of Technical Communications of International Conference on Logic Programming. OASICS, vol. 52, 2:1–2:15.
GebserM., KaufmannB., RomeroJ., OteroR., SchaubT. and WankoP. 2013. Domain-specific heuristics in answer set programming. In Proc. of Conference on Artificial Intelligence. AAAI.
GelfondM. and LifschitzV. 1991. Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 3/4, 365386.
KaufmannB., LeoneN., PerriS. and SchaubT. 2016. Grounding and solving in answer set programming. AI Mag. 37, 3, 2532.
KojoT., MännistöT. and SoininenT. 2003. Towards intelligent support for managing evolution of configurable software product families. In Proc. of System Configuration Management. Lecture Notes in Computer Science, vol. 2649. Springer, 86–101.
KoponenL., OikarinenE., JanhunenT. and SäiläL. 2015. Optimizing phylogenetic supertrees using answer set programming. Theory and Practice of Logic Programming 15, 4–5, 604619.
LefèvreC. and NicolasP. 2009. The first version of a new ASP solver: Asperix. In Proc. of Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 5753. Springer, 522–527.
LiuL., PontelliE., SonT. C. and TruszczynskiM. 2010. Logic programs with abstract constraint atoms: The role of computations. Artificial Intelligence 174, 3–4, 295315.
MannaM., RiccaF. and TerracinaG. 2015. Taming primary key violations to query large inconsistent data via ASP. Theory and Practice of Logic Programming 15, 4–5, 696710.
NogueiraM., BalducciniM., GelfondM., WatsonR. and BarryM. 2001. An A-prolog decision support system for the space shuttle. In: PADL. 169–183.
OstrowskiM. and SchaubT. 2012. ASP modulo CSP: The clingcon system. Theory and Practice of Logic Programming 12, 4–5, 485503.
QuinlanJ. 1993. C4.5: Programs for Empirical Learning. Morgan Kaufmann.
RedlC. 2016. The dlvhex system for knowledge representation: Recent advances (system description). TPLP 16, 5–6, 866883.
SchüllerP. 2016. Modeling variations of first-order horn abduction in answer set programming. Fundamenta Informaticae 149, 1–2, 159207.
SilvaJ. P. M. and SakallahK. A. 1999. GRASP: A search algorithm for propositional satisfiability. IEEE Transactions on Computers 48, 5, 506521.
SusmanB. and LierlerY. 2016. SMT-based constraint answer set solver EZSMT (system description). In Proc. of Technical Communications of International Conference on Logic Programming. OASICS, vol. 52. Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, 1:1–1:15.
WeinzierlA. 2017. Blending lazy-grounding and CDNL search for answer-set solving. In LPNMR. Lecture Notes in Computer Science, vol. 10377, 191–204.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 8 *
Loading metrics...

Abstract views

Total abstract views: 70 *
Loading metrics...

* Views captured on Cambridge Core between 24th August 2017 - 23rd October 2017. This data will be updated every 24 hours.