Università della Calabria
Polaris Home Torna alla pagina precedente Aiuto su Polaris Suggerimenti e commenti
FRANCESCO CALIMERI
Informazioni sull'utente  E-Mail  Home Page
   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.
Caruso C. , Calimeri F. , " “IchnoApp and “IchnoWiki”: Ichnological mobile database-applications for field use". Journal of Mediterranean Earth Sciences, 2013, Vol. Special Issue, pp. 25-25.
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.
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " Finitely recursive programs: Decidability and bottom-up computation". AI Communications, 2011, Vol. 24, n. 4, pp. 311-334.
Alviano M. , Calimeri F. , Ianni G. , Faber W. , Leone N. , Nonmonotonic Reasoning at 30. Studies in Logic Vol. 31. Brewka G., Marek V., Truszczynski M. (a cura di), Cap. 1, " Function Symbols in ASP: Overview and Perspectives", : College Publications. 2011. pp. 1-24.
Alviano M. , Calimeri F. , Faber W. , Leone N. , Perri S. , " Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates". Journal of Artificial Intelligence Research, 2011, Vol. 42, pp. 487-527.
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.
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.
Calimeri F. , Cozza S. , Ianni G. , " External Sources of Knowledge and Value Invention in Logic Programming". Annals of Mathematics and Artificial Intelligence, NuovaSerie, 2007, Vol. 50, pp. 333-361.
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. ---.
Calimeri F. , Faber W. , Pfeifer G. , Leone N. , " Pruning Operators for Disjunctive Logic Programming Systems". Fundamenta informaticae, 2006, Vol. 71, n. 2-3, pp. 183-214.
Calimeri F. , Ianni G. , " Template Programs for Disjunctive Logic Programming: An Operational Semantics". AI Communications, 2006, Vol. 19, n. 3, pp. 193-206.
Calimeri F. , Citrigno M. , Cumbo C. , Faber W. , Leone N. , Perri S. , Pfeifer G. , Logics in Artificial Intelligence. Lecture Notes in Computer Science Vol. 3229. Cap. 60, " New DLV Features for Data Integration", : Springer. 2004. pp. 698-701.
Leone N. , Pfeifer G. , Faber W. , Calimeri F. , Dell'Armi T. , Eiter T. , Gottlob G. , Ianni G. , Ielpa G. , Koch C. , Perri S. , Polleres A. , Logics in Artificial Intelligence. Lecture Notes in Computer Science Vol. 2424. Cap. 50, " The DLV System", : Springer. 2002. pp. 537-540.
Atti di convegno
Fuscà D. , Germano S. , Zangari J. , Calimeri F. , Perri S. , " Answer Set Programming and Declarative Problem Solving in Game AIs". Atti del convegno "PAI 2013", Torino, 2013, 2013, pp. -
Calimeri F. , Fink M. , Germano S. , Ianni G. , Wimmer A. , Redl C. , " AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases". Atti del convegno "Popularize Artificial Intelligence 2013 (PAI 2013), XIII Conference of the Italian Association for Artificial Intelligence, Turin (Italy)", Torino, 2013, 2013, pp. -
Calimeri F. , Ianni G. , Perri S. , Zangari J. , " The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain". Atti del convegno "RCRA", Roma, 2013, 2013, pp. -
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. -
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.
Calimeri F. , Cozza S. , Leone N. , Perri S. , " Handling Function Symbols in the DLV Grounder". Atti del convegno "11th Int.Conf. on Logic Programming and Nonmonotonic Reasoning, 1st Workshop on Grounding and Transformation for Theories with variables, GTTV 2011", Vancouver, Canada, 2011, 2011, pp. 25-31.
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " Enhancing ASP by Functions: Decidable Classes and Implementation Techniques". Atti del convegno "Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010)", Atlanta, Georgia, USA, 2010, 2010, pp. 1666-1670.
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " Bottom-up Evaluation of Finitely Recursive Queries". Atti del convegno "24-esimo Convegno Italiano di Logica Computazionale (CILC 2009)", Ferrara, Italy, 24-26 giugno, 2009, 2009, pp. -
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " An ASP System with Functions, Lists, and Sets". Atti del convegno "10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", Potsdam, Germany, 2009, A cura di Schaub T., Fangzhen L., Erdem E., Springer Verlag:Heidelberg Germany, 2009, Vol. 5753, pp. 483-489.
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " Magic Sets for the Bottom-up Evaluation of Finitely Recursive Programs". Atti del convegno "10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", Potsdam, Germany, 14-18 Settembre, 2009, A cura di Erdem E., Fangzhen L., Schaub T., Springer Verlag:Heidelberg Germany, 2009, pp. 71-86.
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.
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " Computable Functions in ASP: Theory and Implementation". Atti del convegno "ICLP’08", Udine, Italy, December 9–13, 2008, Springer-Verlag:2008, pp. 407-424.
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. -
Calimeri F. , Ianni G. , Alviano M. , Martello A. , " Frame Logic under Answer Set Semantics". Atti del convegno "Convegno Italiano di Logica Computazionale (CILC)", S. Agata di Messina, Giugno, 2007, 2007, pp. -
Calimeri F. , Ianni G. , " Extending ASP by Value Invention". Atti del convegno "Giornata di Lavoro del gruppo RCRA-AIIA: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale", Udine, 2006, 2006, pp. -
Calimeri F. , Cozza S. , Ianni G. , " Decidable Fragments Of Logic Programming With Value Invention". Atti del convegno "JELIA06: 10th European Conference on Logics in Artificial Intelligence", Liverpool, UK, 2006, 2006, Vol. 4160, pp. 95-110.
Calimeri F. , Faber W. , Leone N. , Perri S. , " Declarative and Computational Properties of Logic Programs with Aggregates.". Atti del convegno "IJCAI-05", Edinburgh, Scotland, UK, July 31 - August 5, 2005, Morgan Kaufmann Publishers:2005, pp. -
Calimeri F. , Ianni G. , " External sources of computation for Answer Set Solvers". Atti del convegno "LPNMR 2005", Diamante, Italia, 2005, 2005, pp. -
Ianni G. , Ielpa G. , Pietramala A. , Santoro M. C. , Calimeri F. , " Enhancing Answer Set Programming with Templates". Atti del convegno "10th International Workshop on Non-Monotonic Reasoning NMR2004", Whistler, Canada, Giugno, 2004, 2004, pp. -
Calimeri F. , Ianni G. , Ielpa G. , Pietramala A. , Santoro M. C. , " A System with Template Answer Set Programs". Atti del convegno "JELIA 2004", Lisbona (Portogallo), Settembre, 2004, A cura di Alferes J. J., Leite J. A., Springer Verlag:GmbH Tiergartenstrasse 17, 69121, Heidelberg, Germany, 2004, Vol. 3229, pp. 693-697.
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. , Calimeri F. , Ielpa G. , Pietramala A. , Santoro M. C. , " A System With Template Answer Set Programs". Atti del convegno "Ninth European Conference on Logics in Artificial Intelligence", Lisbon, 2004, 2004, Vol. 3229, pp. 693-697.
Calimeri F. , Galizia S. , Ruffolo M. , Rullo P. , " Enhancing Disjunctive Logic Programming for Ontology Specification". Atti del convegno "AGP03, Joint Conference on Declarative Programming", Reggio Calabria, Italy, 2003, 2003, pp. -
Ianni G. , Calimeri F. , Lio V. , Galizia S. , Bonfa' A. , " Reasoning about the Semantic Web using Answer Set Programming". Atti del convegno "APPIA-GULP-PRODE 2003. Joint Conference on Declarative Programming", Reggio Calabria, 2003, A cura di Buccafurri F., 2003, pp. 324-336.
Calimeri F. , Galizia S. , Ruffolo M. , Rullo P. , " OntoDLP: a Logic Formalism for Knowledge Representation". Atti del convegno "ASP03 Answer Set Programming: Advances in Theory and Implementation, CEUR Workshop", Messina, Italy, 2003, 2003, Vol. 78, pp. -
Calimeri F. , Faber W. , Leone N. , Pfeifer G. , " Pruning Operators for Answer Set Programming Systems". Atti del convegno "NMR'2002", Toulouse, France, 2002, 2002, pp. -
Calimeri F. , Faber W. , Leone N. , Perri S. , Pfeifer G. , " DLV - Declarative Problem Solving Using Answer Set Programming". Atti del convegno "AI*IA2001", Bari, 2001, 2001, pp. -
Altro
Calimeri F. , Hitzler P. , Web Reasoning and Rule Systems: Five Years into the Conference. , 2011, ALP Newsletter Progetto di riferimento: ALP Newsletter, per conto di ALP Newsletter.
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.
Calimeri F. , Leone N. , Toward the Implementation of Functions in the DLV System. , 2004, Progetto di riferimento: DLV
Calimeri F. , Ianni G. , Pietramala A. , Santoro M. C. , Parametric External Predicates for the DLV System. , 2004, Progetto di riferimento: DLV