The multi-engine ASP solver me-asp

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7519 LNAI, Issue , 2012, Pages 484-487

  Maratea, Marco ^a   Pulina, Luca ^b   Ricca, Francesco ^c  

^a UNIVERSITY OF GENOA   (Italy)

^b UNIVERSITY OF SASSARI   (Italy)

^c UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MACHINE LEARNING TECHNIQUES; STATE-OF-THE-ART PERFORMANCE; SYSTEM TRACKS;

BENCHMARKING; LEARNING SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84866921571     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33353-8_39     Document Type: Conference Paper

References (18)

1. Balduccini, M.: Learning and using domain-specific heuristics in ASP solvers. AICOM 24, 147-164 (2011)
2. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Tempe (2003)
3. 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.C., 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)
4. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Transactions on Database Systems 22(3), 364-418 (1997)
5. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T., Schneider, M.T., Ziller, S.: A Portfolio Solver for Answer Set Programming: Preliminary Report. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 352-357. Springer, Heidelberg (2011)
6. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Proc. of IJCAI 2007, pp. 386-392. Morgan Kaufmann Publishers (2007)
7. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365-385 (1991)
8. Halder, A., Ghosh, A., Ghosh, S.: Aggregation pheromone density based pattern classification. Fundamenta Informaticae 92(4), 345-362 (2009)
9. Janhunen, T., Niemelä, I., Sevalnev, M.: Computing Stable Models via Reductions to Difference Logic. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 142-154. Springer, Heidelberg (2009)
10. 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)
11. Lierler, Y.: Disjunctive Answer Set Programming via Satisfiability. In: Proc. of LPNMR 2005. LNCS, vol. 3662, pp. 447-451. Springer, Heidelberg (2005)
12. Lifschitz, V.: Answer Set Planning. In: Proc. of ICLP 1999, Las Cruces, New Mexico, USA, pp. 23-37. The MIT Press (November 1999)
13. Maratea, M., Pulina, L., Ricca, F.: Applying machine learning techniques to ASP solving. Number CVL 2012/003, p. 21. University of Sassari Tech. Rep. (March 2012)
14. Mariën, M., Wittocx, J., Denecker, M., Bruynooghe, M.: SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. In: Kleine Büning, H., Zhao, X. (eds.) SAT 2008. LNCS, vol. 4996, pp. 211-224. Springer, Heidelberg (2008)
15. Mierswa, I., Wurst, M., Klinkenberg, R., Scholz, M., Euler, T.: Yale: Rapid prototyping for complex data mining tasks. In: Proc. of KDD 2006, pp. 935-940. ACM (2006)
16. Pulina, L., Tacchella, A.: A self-adaptive multi-engine solver for quantified boolean formulas. Constraints 14(1), 80-116 (2009)
17. Simons, P., Niemelä, I., Soininen, T.: Extending and Implementing the Stable Model Semantics. Artificial Intelligence 138, 181-234 (2002)
18. Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: Satzilla: Portfolio-based algorithm selection for SAT. Journal of Artificial Intelligence Research 32, 565-606 (2008)