Università della Calabria
Polaris Home Torna alla pagina precedente Aiuto su Polaris Suggerimenti e commenti
FRANCESCO RICCA
Informazioni sull'utente  E-Mail
   Pubblicazioni:
Elenco per anno di pubblicazione
Elenco per categoria di pubblicazione
Visualizza curriculum (in italiano)
Esporta pubblicazioni in formato Latex
Esporta pubblicazioni in formato PDF
Switch to english
 

 

 

 

Pubblicazioni

Articoli
Calimeri F. , Ianni G. , Ricca F. , " The third open Answer Set Programming competition". Theory and Practice of Logic Programming, 2014, Vol. 13, n. 2, pp. 253-278.
Alviano M. , Carmine D. , Ricca F. , " Anytime Computation of Cautious Consequences in Answer Set Programming". Theory and Practice of Logic Programming, 2014, pp. ---.
Maratea M. , Pulina L. , Ricca F. , " A Multi-Engine Approach to Answer Set Programming". Theory and Practice of Logic Programming, 2013, pp. 1-24.
Maratea M. , Pulina L. , Ricca F. , " Multi-engine ASP solving with policy adaptation". Journal of Logic and Computation, 2013, pp. 1-22.
Perri S. , Ricca F. , Sirianni M. , " Parallel instantiation of ASP programs: techniques and experiments". Theory and Practice of Logic Programming, 2013, Vol. 13, n. 2, pp. 253-278.
Manna M. , Ricca F. , Terracina G. , " Consistent Query Answering via ASP from Different Perspectives: Theory and Practice". Theory and Practice of Logic Programming, 2013, Vol. 13, n. 2, pp. 227-252.
Ricca F. , Grasso G. , Alviano M. , Manna M. , Lio V. , Iiritano S. , Leone N. , " Team-building with answer set programming in the Gioia-Tauro seaport". Theory and Practice of Logic Programming, 2012, Vol. 12, n. 3, pp. 361-381.
Calimeri F. , Ricca F. , " On the Application of the Answer Set Programming System DLV in Industry: a Report from the Field". In ALP Newsletter, Pontelli E., Dovier A., Torroni P. (a cura di), : Nessuna Casa Editrice, 2012, Vol. 3, pp. 1-16.
Calimeri F. , Ianni G. , Krennwallner T. , Ricca F. , " The Answer Set Programming Competition". AI Magazine, 2012, Vol. 33, n. 4, pp. 144-118.
Faber W. , Leone N. , Maratea M. , Ricca F. , " Look-back Techniques for ASP Programs with Aggregates". Fundamenta informaticae, 2011, Vol. 107, n. 4, pp. 379-413.
Grasso G. , Leone N. , Manna M. , Ricca F. , " ASP at Work: Spin-off and Applications of the DLV System". In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, Heidelberg: Springer Berlin, 2011, Lecture Notes in Computer Science Vol. 6565, pp. 432-451.
Barilaro R. , Ricca F. , Terracina G. , Logic Programming and Nonmonotonic Reasoning. LNCS Cap. 22, " Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis", : Springer. 2011. pp. 217-222.
Perri S. , Ricca F. , Sirianni M. , DAMP 2010 ACM SIGPLAN workshop on Declarative aspects of multicore programming. Cap. 10, " A parallel ASP instantiator based on DLV", New York, NY: ACM Press. 2010. pp. 73-82.
Grasso G. , Iiritano S. , Leone N. , Lio V. , Ricca F. , Scalise F. , Practical Aspects of Declarative Languages (PADL 2010). LNCS Vol. 5937. Cap. 5, " An ASP-Based System for Team-Building in the Gioia-Tauro Seaport", : Spinger-Verlag. 2010. pp. 40-42.
Leone N. , Ricca F. , Rubino L. , Terracina G. , Practical Aspects of Declarative Languages (PADL 2010). LNCS Vol. 5937. Cap. 3, " Efficient Application of Answer Set Programing for Advanced Data Integration", : Springer. 2010. pp. 10-24.
Ricca F. , Alviano M. , Dimasi A. , Grasso G. , Ielpa S. , Iiritano S. , Manna M. , Leone N. , " A Logic-Based System for e-Tourism". Fundamenta informaticae, 2010, Vol. 105, pp. 35-55.
Bonatti P. , Calimeri F. , Leone N. , Ricca F. , A 25-Year Perspective on Logic Program- ming: Achievements of the Italian Association for Logic Programming, GULP. Lecture Notes in Computer Science Vol. 6125. Cap. 8, " Answer Set Programming", BERLIN HEIDELBERG NEW YORK: SPRINGER. 2010. pp. 159-182.
Maratea M. , Ricca F. , Veltri P. , Logics in Artificial Intelligence. LNCS Vol. 6341. Cap. 33, " Enhanced Model Checking in DLV", Heidelberg: Springer Berlin. 2010. pp. 365-368.
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, Vol. 19, pp. 643-670.
Grasso G. , Iiritano S. , Leone N. , Ricca F. , Proc. of 10th Logic Programming and Nonmonotonic Reasoning (LPNMR09). LNCS Cap. 63, " Some DLV Applications for Knowledge Management", : Springer. 2009. pp. 591-597.
Faber W. , Leone N. , Ricca F. , Encyclopedia of Computer Science and Engineering. Vol. 1. Wah B. (a cura di), Cap. 16, " Answer Set Programming", : John Wiley & Sons. 2009. pp. 149-162.
Leone N. , Ricca F. , Terracina G. , Proc. of 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09). Lecture Notes in Computer Science (LNCS) Cap. 47, " An ASP-Based Data Integration System", : Springer. 2009. pp. 528-534.
Ielpa S. , Iiritano S. , Leone N. , Ricca F. , Proc. of 10th Logic Programming and Nonmonotonic Reasoning (LPNMR09). LNCS Cap. 31, " An ASP-Based System for e-Tourism", : Springer. 2009. pp. 368-381.
Maratea M. , Ricca F. , Faber W. , Leone N. , " Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers". Journal of Algorithms in Cognition, Informatics and Logic, 2008, Vol. 63, n. 1-3, pp. 70-89.
Calimeri F. , Perri S. , Ricca F. , " Experimenting with Parallelism for the Instantiation of ASP Programs". Journal of Algorithms in Cognition, Informatics and Logic, 2008, Vol. 63, n. 1-3, pp. 34-54.
Leone N. , Faber W. , Bria A. , Calimeri F. , Catalano G. , Cozza S. , Dell'Armi T. , Greco G. , Ianni G. , Ielpa G. , Maratea M. , Panetta C. , Perri S. , Ricca F. , Scarcello F. , Terracina G. , Pfeifer G. , Eiter T. , Gottlob G. , " DLV: An Advanced System for Knowledge Representation and Reasoning". In ALP Newsletter, Pontelli E. (a cura di), : Nessuna Casa Editrice, 2007, Vol. 20 (3/4), pp. ---.
Ricca F. , Leone N. , " Disjunctive Logic Programming with types and objects: The DLP+ System". JOURNAL OF APPLIED LOGIC, 2007, Vol. 5, n. 3, pp. 545-573.
Faber W. , Leone N. , Pfeifer G. , Ricca F. , " On Look-Ahead Heuristics in Disjunctive Logic Programming". Annals of Mathematics and Artificial Intelligence, 2007, Vol. 51, n. 2-4, pp. 229-266.
Garro A. , Palopoli L. , Ricca F. , " Exploiting Agents in E-Learning and Skills Management Context". AI Communications, 2006, Vol. 19, n. 2, pp. 137-154.
Ricca F. , Faber W. , Leone N. , " A Backjumping Technique for Disjunctive Logic Programming". AI Communications, 2006, Vol. 19, n. 2, pp. 155-172.
Faber W. , Leone N. , Ricca F. , " Solving Hard problems for the second level of the Polynomial Hierarchy: Heuristics and Benchmarks". Intelligenza Artificiale, 2005, Vol. 2, n. 3, pp. 21-28.
Ricca F. , Garro A. , Leone N. , " Un Sistema ad Agenti per il Supporto alla Costruzione di Percorsi Didattici". AI*IA Notizie, 2003, Vol. 16, n. 1, pp. 52-56.
Atti di convegno
Nardi B. , Reale K. , Ricca F. , Terracina G. , " An integrated environment for reasoning over ontologies via logic programming". Atti del convegno "RR 2013", Mannheim, Germany, 2013, 2013, pp. 253-258.
Alviano M. , Dodaro C. , Faber W. , Leone N. , Ricca F. , " WASP: A native ASP solver based on constraint learning". Atti del convegno "Logic Programming and Nonmonotonic Reasoning --- 12th International Conference", Corunna, Spain, 2013, A cura di Cabalar P., Son T. C., 2013, pp. -
Barilaro R. , Fink M. , Ricca F. , Terracina G. , " Towards Query Answering in Relational Multi-Context Systems". Atti del convegno "LPNMR 2013", Corunna, Spain, 2013, Springer, Berlin:2013, pp. 168-173.
Calimeri F. , Charwat G. , Dodaro C. , Dao-tran M. , Ianni G. , Krennwallner T. , Kronegger M. , Oetsch J. , Pfandler A. , Puerher J. , Redl C. , Ricca F. , Schneider P. , Schwengerer M. , Spendier L. , Wallner P. J. , Xiao G. , " The Fourth Answer Set Programming Competition: Preliminary Report". Atti del convegno "Logic Programming and Nonmonotonic Reasoning - 13th International Conference (LPNMR)", La Coruna, Spagna, 2013, 2013, pp. -
Febbraro O. , Grasso G. , Leone N. , Ricca F. , " Datalog Development Tools". Atti del convegno "Datalog 2.0", Vienna, Austria, 2012, Springer:2012, Vol. 7494, pp. 81-85.
Maratea M. , Pulina L. , Ricca F. , " Applying Machine Learning Techniques to ASP Solving". Atti del convegno "ICLP 2012: 28th International Conference on Logic Programming", Budapest, 2012, 2012, Vol. 17, pp. 37-48.
Febbraro O. , Leone N. , Reale K. , Ricca F. , " Extending ASPIDE with User-defined Plugins". Atti del convegno "CILC 2012", Roma, 2012, CEUR-WS.org:2012, Vol. 857, pp. 236-240.
Febbraro O. , Grasso G. , Ricca F. , Leone N. , " JASP: A Framework for Integrating Answer Set Programming with Java". Atti del convegno "KR 2012", Rome, Italy, 2012, AAAI Press:2012, pp. 541-551.
Febbraro O. , Leone N. , Reale K. , Ricca F. , " ASPIDE the Integrated Development Environment for Answer Set Programming: Progress Report". Atti del convegno "NMR 2012", Roma, 2012, 2012, pp. 1-4.
Maratea M. , Pulina L. , Ricca F. , " The Multi-Engine ASP Solver ME-ASP". Atti del convegno "JELIA 2012", Tolosa, Francia, 2012, 2012, Vol. 7519, pp. 484-487.
Barilaro R. , Leone N. , Ricca F. , Terracina G. , " Distributed Ontology Based Data Access via Logic Programming". Atti del convegno "RR 2012", Vienna, Austria, 2012, 2012, pp. 205-208.
Barilaro R. , Leone N. , Ricca F. , Terracina G. , " Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis". Atti del convegno "19th Italian Symposium on Advanced Database Systems (SEBD 2011)", Maratea, Italy, 2011, 2011, pp. 295-302.
Perri S. , Ricca F. , Sirianni M. , " The DLV Parallel Grounder". Atti del convegno "11th Int. Conf. on Logic Programming and Nonmonotonic Reasoning, 1st Workshop on Grounding and Transformation for Theories with Variables, GTTV2011", Vancouver, Canada, 2011, 2011, pp. 63-68.
Dodaro C. , Alviano M. , Faber W. , Leone N. , Ricca F. , Sirianni M. , " The Birth of a WASP: Preliminary Report on a New ASP Solver". Atti del convegno "CILC 2011", Pescara, Italy, 2011, A cura di Fioravanti F., CEUR-WS:2011, pp. 99-113.
Febbraro O. , Leone N. , Reale K. , Ricca F. , " Unit Testing in ASPIDE". Atti del convegno "Workshop on Logic Programming (WLP 2011)", Vienna, 2011, 2011, Vol. abs/1108.5434, pp. 1-12.
Febbraro O. , Reale K. , Ricca F. , " Testing ASP programs in ASPIDE". Atti del convegno "CILC 2011", Pescara, Italy, 2011, A cura di Fioravanti F., Fabio Fioravanti:2011, Vol. 810, pp. 115-129.
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". Atti del convegno "LPNMR 2011", Vancouver, Canada, May 16-19, 2011, A cura di Delgrande J., Faber W., Springer:Berlin / Heidelberg, 2011, Vol. 6645, pp. 388-403.
Febbraro O. , Reale K. , Ricca F. , " ASPIDE: Integrated Development Environment for Answer Set Programming". Atti del convegno "LPNMR11", Vancouver, Canada, 2011, A cura di Delgrande J., Faber W., 2011, Vol. 6645/2011, pp. 317-330.
Febbraro O. , Reale K. , Ricca F. , " A Visual Interface for Drawing ASP Programs". Atti del convegno "CILC 2010", Università della Calabria - Rende (CS), 7-9 Luglio, 2010, A cura di Faber W., Leone N., Wolfgang Faber, Nicola Leone:2010, Vol. 598, pp. -
Perri S. , Ricca F. , Sirianni M. , " Towards a Fully-Parallel DLV System". Atti del convegno "RCRA 2010", Bologna, Italy, 2010, CEUR-WS.org:2010, Vol. 616, pp. 1-15.
Perri S. , Ricca F. , Sirianni M. , " Parallel Instantiation in DLV". Atti del convegno "CILC 2010", Rende, Italy, 2010, CEUR-WS.org:2010, Vol. 598, pp. -
Manna M. , Ricca F. , Sacca' L. , " Logic-based Technologies for E-Tourism: The ITravel System". Atti del convegno "itAIS 2010", Naples, Italy, October 8 - 9, 2010, A. D'Atri, M. Ferrara, J.F. George, P. Spagnoletti:2010, pp. 1-8.
Manna M. , Ricca F. , Terracina G. , " Optimized encodings for Consistent Query Answering via ASP from different perspectives". Atti del convegno "CILC 2010", Rende, Italy, July 7-9, 2010, Faber, W. & Leone, N.:2010, Vol. 598, pp. 1-15.
Perri S. , Ricca F. , Sirianni M. , " Advanced Heuristics for Parallel ASP Instantiation". Atti del convegno "RCRA 2009", Reggio Emilia, Italy, 2009, 2009, pp. -
Calimeri F. , Leone N. , Ricca F. , Veltri P. , " A Visual Tracer for DLV". Atti del convegno "SEA09", Potsdam, Germania, 2009, CEUR-WS.org:2009, Vol. 546, pp. 79-93.
Faber W. , Leone N. , Maratea M. , Ricca F. , " Look-back Techniques for ASP Programs with Aggregates". Atti del convegno "The 15th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2008)", Udine, Italy, 2008, A cura di Gavanelli M., Mancini T., CAUR-ws:Aachen, Germany, 2008, Vol. 451, pp. -
Bennardo G. , Grasso G. , Leone N. , Ricca F. , " Upgrading Databases to Ontologies". Atti del convegno "ALPSWS2008", Udine, Italy,, December 13, 2008, 2008, pp. -
Calimeri F. , Perri S. , Ricca F. , " Increasing Parallelism while Instantiating ASP Programs". Atti del convegno "CILC - Convegno Italiano di Logica Computazionale", Perugia, 10-12 Luglio, 2008, 2008, pp. -
Bennardo G. , Grasso G. , Salvatore Maria I. , Leone N. , Ricca F. , " Lifting Databases to Ontologies". Atti del convegno "Convegno Italiano di Logica Computazionale (CILC-08)", Perugia, 2008, 2008, pp. -
Faber W. , Leone N. , Maratea M. , Ricca F. , " Backjumping and Look-back Heuristics for Disjunctive Logic Programming with Aggregates". Atti del convegno "2nd International Workshop on Logic and Search (LaSh'08)", Leuven, Belgium, 2008, 2008, pp. -
Gallucci L. , Ricca F. , " Visual Querying and Application Programming Interface for an ASP-based Ontology Language". Atti del convegno "Software Engineering for Answer Set Programming", Tempe, Arizona USA, 2007, 2007, Vol. 281, pp. 56-70.
Faber W. , Leone N. , Maratea M. , Ricca F. , " Looking Back in DLV: Experiments and Comparison to QBF Solvers". Atti del convegno "ASP 2007", Porto, Portugal, 2007, A cura di Costantini S., Watson R., 2007, pp. -
Perri S. , Ricca F. , Terracina G. , Cianni D. , Veltri P. , " An integrated graphic tool for developing and testing DLV programs". Atti del convegno "Software Engineering for Answer Set Programming", Tempe, Arizona USA, 2007, Dept. Computer Science, University of Bath, Technical Report Series. CSBU-2007-05 (http://ceur-ws.org/Vol-281):2007, pp. 86-100.
Dell'Armi T. , Gallucci L. , Leone N. , Ricca F. , Schindlauer R. , " OntoDLV: an ASP-based System for Enterprise Ontologies". Atti del convegno "4th International Workshop on Answer Set Programming", Porto, Portugal, 2007, 2007, pp. -
Faber W. , Leone N. , Maratea M. , Ricca F. , " Experimenting with Look-Back Heuristics on Hard ASP Programs". Atti del convegno "LPNMR'07", Phoenix, Arizona, USA, 2007, A cura di Baral C., Brewka G., Schlipf J. S., Springer:2007, pp. 110-122.
Leone N. , Ricca F. , " OntoDLV: An Object-Oriented Disjunctive Logic Programming System". Atti del convegno "CILC06", Bari, 2006, 2006, pp. -
Ianni G. , Ricca F. , " Specification of Assessment-Test Criteria through ASP". Atti del convegno "Answer Set Programming: Advances in Theory and Implementation", Bath, UK, 2005, 2005, pp. -
Faber W. , Leone N. , Ricca F. , " Heuristics for Hard ASP Programs.". Atti del convegno "IJCAI-05", Edinburgh, Scotland, UK,, July 31 - August 5, 2005, Morgan Kaufmann Publishers:2005, pp. 406-411.
Ianni G. , Panetta C. , Ricca F. , " Specification of assessment-test criteria through ASP specifications". Atti del convegno "Answer Set Programming: Advances in Theory and Implementation", Bath, UK, 2005, 2005, pp. -
Ricca F. , Leone N. , De Bonis V. , Dell'Armi T. , Galizia S. , Grasso G. , " A DLP System with Object-Oriented Features". Atti del convegno "LPNMR 2005", Diamante, Italy, September 5–8, 2005, Springer-Verlag:2005, Vol. 3662, pp. 432-436.
Faber W. , Leone N. , Ricca F. , " A Backjumping Technique for Disjunctive Logic Programming,". Atti del convegno "ASP05", Bath UK, Luglio, 2005, 2005, pp. -
Faber W. , Ricca F. , " Solving Hard ASP Programs Efficiently". Atti del convegno "Logic Programming and Non Monotonic Reasoning - LPNMR'05", Diamante (CS) Italia, 2005, 2005, pp. 240-252.
Ianni G. , Calimeri F. , Ricca F. , Lio V. , Galizia S. , " An agent system reasoning about the web and the user". Atti del convegno "World Wide Web Conference, poster session", New York City, U.S.A., 17-22/05, 2004, 2004, pp. 492-493.
Ianni G. , Ricca F. , " Specification of assessment-test criteria through logic programming". Atti del convegno "Conferenza italiana sui sistemi intelligenti (CISI-04)", Perugia, 2004, 2004, pp. 72-72.
Garro A. , Leone N. , Ricca F. , " Logic Based Agents for E-learning". Atti del convegno "IJCAI (International Joint Conference on Artificial Intelligence) Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems", Acapulco, Mexico, August, 2003, 2003, pp. 36-45.
Ricca F. , " The DLV Java Wrapper". Atti del convegno "AGP03 Joint Conference on Declarative Programming", Reggio Calabria, 2003, 2003, pp. 263-274.
Ricca F. , " A Wrapper Java for DLV". Atti del convegno " ASP03 Answer Set Programming Advances in Theory and Implementation", Messina, 2003, 2003, pp. -
Altro
Marano M. , Ianni G. , Ricca F. , " Magic Set Implementation for Disjunctive Logic Programming with Function Symbols". Contributo a Convegno Italiano di Logica Computazionale CILC-09, Ferrara, Italia, 24-26 Giugno 2009.
Perri S. , Sirianni M. , Ricca F. , " An Heuristics for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs". Contributo a Convegno Italiano di Logica Computazionale CILC-09, Ferrara. Italia, 24-26 Giugno 2009.
Candreva G. , De Franco G. , De Santo D. , Donato C. , Dimasi A. , Grasso G. , Ielpa M. S. , Iiritano S. , Leone N. , Ricca F. , " IDUM a Logic-Based System for e-Tourism". Contributo a Convegno Italiano di Logica Computazionale CILC-09, Ferrara, Italia, 24-26 Giugno 2009.
Perri S. , Ricca F. , Vescio S. , " Efficient Parallel ASP Instantiation via Dynamic Rewriting". Contributo a International Workshop on Answer Set Programming and Other Computing Paradigms ASPOCP 2008, Udine, Italia, 13 Dicembre 2008.
Faber W. , Leone N. , Maratea M. , Ricca F. , " Look-Back Techniques and Heuristics in DLV: Implementation and Evaluation". Contributo a 14th RCRA Workshop "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion", Roma, 5-6 Luglio 2007.
Faber W. , Leone N. , Maratea V. , Ricca F. , " Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV". Contributo a Convegno Italiano di Logica Computazionale CILC07, Messina, 21-22 giugno 2007.
Gallucci L. , Grasso G. , Leone N. , Ricca F. , " Interoperability Mechanisms for Ontology Management Systems". Contributo a Convegno Italiano di Logica Computazionale CILC07, Messina, 21-22 giugno 2007.
Calimeri F. , Perri S. , Ricca F. , " Experimenting with Parallelism for the Instantiation of ASP Programs". Contributo a Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Roma, 5-6 Luglio 2007.
Calimeri F. , Perri S. , Ricca F. , " Parallel Instantiation of ASP Programs". Contributo a Convegno Italiano di Logica Computazionale CILC07, Messina, 21-22 Giugno 2007.
Faber W. , Leone N. , Maratea M. , Ricca F. , " Evaluating Backjumping for Disjunctive Logic Programming". Contributo a RCRA06, Udine, Giugno 2006.
Faber W. , Leone N. , Ricca F. , " Solving Problems on the Second Level of the Polynomial Hierarchy". Contributo a RCRA05, Ferrara, Italia, giugno 2005.