×

zbMATH — the first resource for mathematics

The intelligent grounder of DLV. (English) Zbl 1357.68032
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 247-264 (2012).
Summary: In this work, we give an overview of the DLV Intelligent Grounder, one of the most popular answer set programming instantiators, and a very strong point of the DLV system. Based on a variant of semi-naive evaluation, it also includes several advanced optimization techniques and supports a number of application-oriented features which allow for the successful exploitation of DLV in real-world contexts, also at an industrial level.
For the entire collection see [Zbl 1241.68016].

MSC:
68N17 Logic programming
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Alviano, M., Faber, W.: Dynamic Magic Sets and super-coherent answer set programs. AI Communications 24(2), 125–145 (2011) · Zbl 1215.68211
[2] Anger, C., Konczak, K., Linke, T.: NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 406–410. Springer, Heidelberg (2001) · Zbl 1007.68718
[3] Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, Washington DC, pp. 89–148 (1988) · doi:10.1016/B978-0-934613-40-8.50006-3
[4] Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. AMAI 50(3-4), 333–361 (2007) · Zbl 1125.68026
[5] Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Computable Functions in ASP: Theory and Implementation. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 407–424. Springer, Heidelberg (2008) · Zbl 1185.68150 · doi:10.1007/978-3-540-89982-2_37
[6] Calimeri, F., Ianni, G., Ricca, F., Alviano, M., Bria, A., Catalano, G., Cozza, S., Faber, W., Febbraro, O., Leone, N., Manna, M., Martello, A., Panetta, C., Perri, S., Reale, K., Santoro, M., Sirianni, M., Terracina, G., Veltri, P.: The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 388–403. Springer, Heidelberg (2011) · Zbl 05900023 · doi:10.1007/978-3-642-20895-9_46
[7] Calimeri, F., Perri, S., Ricca, F.: Experimenting with Parallelism for the Instantiation of ASP Programs. J. of Algorithms 63(1-3), 34–54 (2008) · Zbl 1151.68356 · doi:10.1016/j.jalgor.2008.02.003
[8] Catalano, G., Leone, N., Perri, S.: On demand indexing techniques for the dlv instantiator. In: Proceedings of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), Udine, Italy (2008) · Zbl 1226.68016
[9] Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM Computing Surveys 33(3), 374–425 (2001) · doi:10.1145/502807.502810
[10] Denecker, M., Vennekens, J., Bond, S., Gebser, M., Truszczyński, M.: The Second Answer Set Programming Competition. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 637–654. Springer, Heidelberg (2009) · Zbl 05628805 · doi:10.1007/978-3-642-04238-6_75
[11] Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM TODS 22(3), 364–418 (1997) · Zbl 01935802 · doi:10.1145/261124.261126
[12] Faber, W., Leone, N., Mateis, C., Pfeifer, G.: Using Database Optimization Techniques for Nonmonotonic Reasoning. In: INAP Organizing Committee (ed.) DDLP 1999, pp. 135–139. Prolog Association of Japan (September 1999)
[13] Faber, W., Leone, N., Perri, S., Pfeifer, G.: Efficient Instantiation of Disjunctive Databases. Tech. Rep. DBAI-TR-2001-44, TU Wien, Austria (November 2001), http://www.dbai.tuwien.ac.at/local/reports/dbai-tr-2001-44.pdf
[14] Faber, W., Pfeifer, G., Leone, N., Dell’Armi, T., Ielpa, G.: Design and implementation of aggregate functions in the dlv system. TPLP 8(5-6), 545–580 (2008) · Zbl 1156.68010
[15] Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: IJCAI 2007, pp. 386–392 (January 2007) · Zbl 1149.68332
[16] Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., Truszczyński, M.: The First Answer Set Programming System Competition. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 3–17. Springer, Heidelberg (2007) · Zbl 05211322 · doi:10.1007/978-3-540-72200-7_3
[17] Gebser, M., Schaub, T., Thiele, S.: GrinGo: A New Grounder for Answer Set Programming. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 266–271. Springer, Heidelberg (2007) · Zbl 05211343 · doi:10.1007/978-3-540-72200-7_24
[18] Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP/SLP 1988, pp. 1070–1080. MIT Press, Cambridge (1988)
[19] Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. NGC 9, 365–385 (1991) · Zbl 0735.68012 · doi:10.1007/BF03037169
[20] Grasso, G., Iiritano, S., Leone, N., Lio, V., Ricca, F., Scalise, F.: An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. In: Carro, M., Peña, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 40–42. Springer, Heidelberg (2010) · Zbl 05656267 · doi:10.1007/978-3-642-11503-5_5
[21] Grasso, G., Iiritano, S., Leone, N., Ricca, F.: Some DLV Applications for Knowledge Management. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 591–597. Springer, Heidelberg (2009) · Zbl 05628793 · doi:10.1007/978-3-642-04238-6_63
[22] Ielpa, S.M., Iiritano, S., Leone, N., Ricca, F.: An ASP-Based System for e-Tourism. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 368–381. Springer, Heidelberg (2009) · Zbl 05628761 · doi:10.1007/978-3-642-04238-6_31
[23] Janhunen, T., Niemelä, I., Seipel, D., Simons, P., You, J.H.: Unfolding Partiality and Disjunctions in Stable Model Semantics. ACM TOCL 7(1), 1–37 (2006) · Zbl 1367.68035 · doi:10.1145/1119439.1119440
[24] Leone, N., Gottlob, G., Rosati, R., Eiter, T., Faber, W., Fink, M., Greco, G., Ianni, G., Kałka, E., Lembo, D., Lenzerini, M., Lio, V., Nowicki, B., Ruzzi, M., Staniszkis, W., Terracina, G.: The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. In: SIGMOD 2005, pp. 915–917. ACM Press (June 2005) · doi:10.1145/1066157.1066286
[25] Leone, N., Lio, V., Terracina, G.: DLV DB : Adding Efficient Data Management Features to ASP. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 341–345. Springer, Heidelberg (2004) · Zbl 1122.68376 · doi:10.1007/978-3-540-24609-1_31
[26] Leone, N., Perri, S., Scarcello, F.: Improving ASP Instantiators by Join-Ordering Methods. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 280–294. Springer, Heidelberg (2001) · Zbl 1007.68712
[27] Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM TOCL 7(3), 499–562 (2006) · Zbl 1367.68308 · doi:10.1145/1149114.1149117
[28] Lierler, Y., Lifschitz, V.: One More Decidable Class of Finitely Ground Programs. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 489–493. Springer, Heidelberg (2009) · Zbl 1251.68064 · doi:10.1007/978-3-642-02846-5_40
[29] Lierler, Y., Maratea, M.: Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 346–350. Springer, Heidelberg (2004) · Zbl 1122.68377 · doi:10.1007/978-3-540-24609-1_32
[30] Lin, F., Zhao, Y.: ASSAT: computing answer sets of a logic program by SAT solvers. AI 157(1-2), 115–137 (2004) · Zbl 1085.68544
[31] Syrjänen, T.: Lparse 1.0 User’s Manual (2002), http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz
[32] Marek, V.W., Truszczyński, M.: Stable Models and an Alternative Logic Programming Paradigm. In: Apt, K.R., Marek, V.W., Truszczyński, M., Warren, D.S. (eds.) The Logic Programming Paradigm – A 25-Year Perspective, pp. 375–398 (1999) · Zbl 0979.68524 · doi:10.1007/978-3-642-60085-2_17
[33] Perri, S., Ricca, F., Sirianni, M.: Parallel instantiation of ASP programs: techniques and experiments. In: TPLP (2012) · Zbl 1267.68083
[34] Perri, S., Scarcello, F., Catalano, G., Leone, N.: Enhancing DLV instantiator by backjumping techniques. AMAI 51(2-4), 195–228 (2007) · Zbl 1138.68019
[35] Ricca, F., Gallucci, L., Schindlauer, R., Dell’Armi, T., Grasso, G., Leone, N.: OntoDLV: an ASP-based system for enterprise ontologies. Journal of Logic and Computation (2009) · Zbl 1192.68132 · doi:10.1093/logcom/exn042
[36] Ruffolo, M., Manna, M.: HiLeX: A System for Semantic Information Extraction from Web Documents. ICEIS (Selected Papers). LNBIP, vol. 3, pp. 194–209 (2008)
[37] Rullo, P., Cumbo, C., Policicchio, V.L.: Learning rules with negation for text categorization. In: ACM Symposium on Applied Computing, pp. 409–416. ACM (2007) · doi:10.1145/1244002.1244098
[38] Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP 8, 129–165 (2008) · Zbl 1142.68338
[39] Ullman, J.D.: Principles of Database and Knowledge Base Systems. Computer Science Press (1989)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.