Fig. 1. Dependency graphs (defined in Section 2) of programs Π1,Π2,Π3 (solid arcs) and pro-
order(o1). item(o1,i1,20). item(o1,i2,20). order(o2). cancelled(o2). total_cost(S) :- order(O), not cancelled(O), #sum{P,I : item(O,I,P)} = S.
https://github.com/DeMaCS-UNICAL/I-DLV/releases. The experiment comprises syn-
obtained from LUBM (http://swat.cse.lehigh.edu/projects/lubm/) by generating in-
Fig. 2. Scalability results with respect to time (left) and memory (right)
ADRIAN, W. T., ALVIANO, M., CALIMERI, F., CUTERI, B., DODARO, C., FABER, W., FUSC `A, D., LEONE, N., MANNA, M., PERRI, S., RICCA, F., VELTRI, P., AND ZANGARI, J. 2018. The ASP system DLV: advancements and applications. KI 32, 2-3, 177–179.
ALVIANO, M., AMENDOLA, G., DODARO, C., LEONE, N., MARATEA, M., AND RICCA, F. 2019. Evaluation of disjunctive programs in WASP. In M. BALDUCCINI, Y. LIERLER, AND S. WOLTRAN (Eds.), Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, Volume 11481 of Lecture Notes in Computer Science, pp. 241–255. Springer.
ALVIANO, M., CALIMERI, F., DODARO, C., FUSC `A, D., LEONE, N., PERRI, S., RICCA, F., VELTRI, P.,
AND ZANGARI, J. 2017. The ASP system DLV2. In M. BALDUCCINI AND T. JANHUNEN (Eds.), Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, Volume 10377 of Lecture Notes in Computer Science, pp. 215–221. Springer.
ALVIANO, M. AND DODARO, C. 2016. Anytime answer set optimization via unsatisfiable core shrinking. Theory and Practice of Logic Programming 16, 5-6, 533–551.
ALVIANO, M. AND DODARO, C. 2017. Unsatisfiable core shrinking for anytime answer set optimization. In C. SIERRA (Ed.), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 4781–4785. ijcai.org.
ALVIANO, M., DODARO, C., J ¨ARVISALO, M., MARATEA, M., AND PREVITI, A. 2018. Cautious reasoning in ASP via minimal models and unsatisfiable cores. Theory and Practice of Logic Programming 18, 3-4, 319–336.
ALVIANO, M., DODARO, C., AND MARATEA, M. 2018. Shared aggregate sets in answer set programming. Theory and Practice of Logic Programming 18, 3-4, 301–318.
ALVIANO, M., DODARO, C., AND RICCA, F. 2014. Anytime computation of cautious consequences in answer set programming. Theory and Practice of Logic Programming 14, 4-5, 755–770.
ALVIANO, M. AND FABER, W. 2011. Dynamic magic sets and super-coherent answer set programs. AI Commun. 24, 2, 125–145.
ALVIANO, M., FABER, W., AND GEBSER, M. 2015. Rewriting recursive aggregates in answer set programming: back to monotonicity. Theory and Practice of Logic Programming 15, 4-5, 559–573.
ALVIANO, M., FABER, W., AND GEBSER, M. 2016. From non-convex aggregates to monotone aggregates in ASP. In S. KAMBHAMPATI (Ed.), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 4100–4194. IJCAI/AAAI Press.
ALVIANO, M., FABER, W., GRECO, G., AND LEONE, N. 2012. Magic sets for disjunctive datalog programs. Artif. Intell. 187, 156–192.
ALVIANO, M., FABER, W., AND WOLTRAN, S. 2014. Complexity of super-coherence problems in ASP. Theory and Practice of Logic Programming 14, 3, 339–361.
ALVIANO, M., GRECO, G., AND LEONE, N. 2011. Dynamic magic sets for programs with monotone recursive aggregates. In J. P. DELGRANDE AND W. FABER (Eds.), Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings, Volume 6645 of Lecture Notes in Computer Science, pp. 148–160. Springer.
BALBIN, I., PORT, G. S., RAMAMOHANARAO, K., AND MEENAKSHI, K. 1991. Efficient bottom-up computation of queries on stratified databases. J. Log. Program. 11, 3&4, 295–344.
BANCILHON, F., MAIER, D., SAGIV, Y., AND ULLMAN, J. D. 1986. Magic sets and other strange ways to implement logic programs. In A. SILBERSCHATZ (Ed.), Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24-26, 1986, Cambridge, Massachusetts, USA, pp. 1–15. ACM.
BARTHOLOMEW, M., LEE, J., AND MENG, Y. 2011. First-order semantics of aggregates in answer set programming via modified circumscription. In Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011. AAAI.
BEERI, C. AND RAMAKRISHNAN, R. 1991. On the power of magic. J. Log. Program. 10, 3&4, 255–299. BEHREND, A. 2003. Soft stratification for magic set based query evaluation in deductive databases. In F. NEVEN, C. BEERI, AND T. MILO (Eds.), Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA, pp. 102– 110. ACM.
CODISH, M. AND DEMOEN, B. 1995. Analyzing logic programs using ”PROP”-ositional logic programs and a magic wand. J. Log. Program. 25, 3, 249–274.
DODARO, C., ALVIANO, M., FABER, W., LEONE, N., RICCA, F., AND SIRIANNI, M. 2011. The birth of a WASP: preliminary report on a new ASP solver. In F. FIORAVANTI (Ed.), Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, Volume 810 of CEUR Workshop Proceedings, pp. 99–113. CEUR-WS.org.
EITER, T., ORTIZ, M., SIMKUS, M., TRAN, T., AND XIAO, G. 2012. Query rewriting for horn-shiq plus rules. In J. HOFFMANN AND B. SELMAN (Eds.), Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. AAAI Press.
FABER, W., PFEIFER, G., AND LEONE, N. 2011. Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175, 1, 278–298.
FERRARIS, P. 2011. Logic programs with propositional connectives and aggregates. ACM Trans. Comput. Log. 12, 4, 25.
FURFARO, F., GRECO, S., GANGULY, S., AND ZANIOLO, C. 2002. Pushing extrema aggregates to optimize logic queries. Inf. Syst. 27, 5, 321–343.
16 M. Alviano et al.
GEBSER, M., KAMINSKI, R., KAUFMANN, B., AND SCHAUB, T. 2009. On the implementation of weight constraint rules in conflict-driven ASP solvers. In P. M. HILL AND D. S. WARREN (Eds.), Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, Volume 5649 of Lecture Notes in Computer Science, pp. 250–264. Springer.
GELDER, A. V. 1989. Negation as failure using tight derivations for general logic programs. J. Log. Program. 6, 1&2, 109–133.
GELDER, A. V., ROSS, K. A., AND SCHLIPF, J. S. 1991. The well-founded semantics for general logic programs. J. ACM 38, 3, 620–650.
GELFOND, M. AND LIFSCHITZ, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Comput. 9, 3/4, 365–386.
GELFOND, M. AND ZHANG, Y. 2014. Vicious circle principle and logic programs with aggregates. Theory and Practice of Logic Programming 14, 4-5, 587–601.
GRECO, G., GRECO, S., TRUBITSYNA, I., AND ZUMPANO, E. 2005. Optimization of bound disjunctive queries with constraints. Theory and Practice of Logic Programming 5, 6, 713–745.
GRECO, S. 2003. Binding propagation techniques for the optimization of bound disjunctive queries. IEEE Trans. Knowl. Data Eng. 15, 2, 368–385.
KEMP, D. B., SRIVASTAVA, D., AND STUCKEY, P. J. 1995. Bottom-up evaluation and query optimization of well-founded models. Theor. Comput. Sci. 146, 1&2, 145–184.
KERISIT, J. AND PUGIN, J. 1988. Efficient query answering on stratified databases. In FGCS, pp. 719–726. LEONE, N., ALLOCCA, C., ALVIANO, M., CALIMERI, F., CIVILI, C., COSTABILE, R., CUTERI, B., FIORENTINO, A., FUSC `A, D., GERMANO, S., LABOCCETTA, G., MANNA, M., PERRI, S., REALE, K., RICCA, F., VELTRI, P., AND ZANGARI, J. 2019. Large scale DLV: preliminary results. In A. CASAGRANDE AND E. G. OMODEO (Eds.), Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., Volume 2396 of CEUR Workshop Proceedings. CEURWS.org.
LEONE, N., ALLOCCA, C., ALVIANO, M., CALIMERI, F., CIVILI, C., COSTABILE, R., FIORENTINO, A., FUSC `A, D., GERMANO, S., LABOCCETTA, G., CUTERI, B., MANNA, M., PERRI, S., REALE, K., RICCA, F., VELTRI, P., AND ZANGARI, J. 2019. Enhancing DLV for large-scale reasoning. In M. BAL-
DUCCINI, Y. LIERLER, AND S. WOLTRAN (Eds.), Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, Volume 11481 of Lecture Notes in Computer Science, pp. 312–325. Springer.
LIU, L., PONTELLI, E., SON, T. C., AND TRUSZCZYNSKI, M. 2010. Logic programs with abstract constraint atoms: The role of computations. Artif. Intell. 174, 3-4, 295–315.
MUMICK, I. S., PIRAHESH, H., AND RAMAKRISHNAN, R. 1990. The magic of duplicates and aggregates. In D. MCLEOD, R. SACKS-DAVIS, AND H. SCHEK (Eds.), 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings., pp. 264–277. Morgan Kaufmann.
PELOV, N., DENECKER, M., AND BRUYNOOGHE, M. 2007. Well-founded and stable semantics of logic programs with aggregates. Theory and Practice of Logic Programming 7, 3, 301–353.
PRZYMUSINSKI, T. C. 1989. On the declarative and procedural semantics of logic programs. J. Autom. Reasoning 5, 2, 167–205.
ROSS, K. A. 1994. Modular stratification and magic sets for datalog programs with negation. J. ACM 41, 6, 1216–1266.
SIMONS, P., NIEMEL ¨A, I., AND SOININEN, T. 2002. Extending and implementing the stable model semantics. Artif. Intell. 138, 1-2, 181–234.
STUCKEY, P. J. AND SUDARSHAN, S. 1994. Compiling query constraints. In V. VIANU (Ed.), Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA, pp. 56–67. ACM Press.
WHALEY, J., AVOTS, D., CARBIN, M., AND LAM, M. S. 2005. Using datalog with binary decision diagrams for program analysis. In K. YI (Ed.), Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings, Volume 3780 of Lecture Notes in Computer Science, pp. 97–118. Springer.