The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Francesco Calimeri" ( http://dblp.L3S.de/Authors/Francesco_Calimeri )

URL (Homepage):  http://www.mat.unical.it/calimeri/  Author page on DBLP  Author page in RDF  Community of Francesco Calimeri in ASPL-2

Publication years (Num. hits)
2002-2006 (16) 2007-2013 (15) 2014-2017 (21) 2018 (15) 2019 (9)
Publication types (Num. hits)
article(24) inproceedings(49) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(10) LPNMR(8) AI*IA(5) JELIA(5) PADL(3) AI Commun.(2) APPIA-GULP-PRODE(2) CILC(2) KI(2) NMR(2) PAI@AI*IA(2) RuleML+RR(2) SEBD(2) 25 Years GULP(1) AAAI(1) AI Magazine(1) More (+10 of total 42)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 77 publication records. Showing 76 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework. Search on Bibsonomy New Generation Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari Incremental Answer Set Programming with Overgrounding. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Large-Scale Reasoning on Expressive Horn Ontologies. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
1Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari An ASP-based Approach for Optimizing DLV Evaluation. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Large Scale DLV: Preliminary Results. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Enhancing DLV for Large-Scale Reasoning. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Querying Large Expressive Horn Ontologies. Search on Bibsonomy SEBD The full citation details ... 2019 DBLP  BibTeX  RDF
1Francesco Calimeri, Nicola Leone, Marco Manna (eds.) Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierangela Bruno, Francesco Calimeri Using Heatmaps for Deep Learning based Disease Classification. Search on Bibsonomy CIBCB The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber 0001, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV: Advancements and Applications. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca Developing ASP Programs with ASPIDE and LoIDE. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Simona Perri, Jessica Zangari Optimizing Answer Set Computation via Heuristic-Based Decomposition. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari Efficiently Coupling the I-DLV Grounder with ASP Solvers. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Stefano Germano, Francesco Calimeri, Eliana Palermiti LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Kevin W. Hamlen, Nicola Leone (eds.) Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari Optimizing Answer Set Computation via Heuristic-Based Decomposition. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierangela Bruno, Francesco Calimeri, Aldo Marzullo Classification and Survival Prediction in Diffuse Large B-Cell Lymphoma by Gene Expression Profiling. Search on Bibsonomy LOD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina Graph based neural networks for automatic classification of multiple sclerosis clinical courses. Search on Bibsonomy ESANN The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Calimeri, Simona Perri, Giorgio Terracina, Jessica Zangari How Modern Deductive Database Systems Can Enhance Data Integration. Search on Bibsonomy SEBD The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile, Giorgio Terracina Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis. Search on Bibsonomy RuleML+RR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari Integrating Rule-Based AI Tools into Mainstream Game Development. Search on Bibsonomy RuleML+RR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierangela Bruno, Paolo Zaffino, Salvatore Scaramuzzino, Salvatore De Rosa, Ciro Indolfi, Francesco Calimeri, Maria Francesca Spadea Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation. Search on Bibsonomy RiCeRcA@AI*IA The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Armando Pezzimenti, Andrea Tucci Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach. Search on Bibsonomy AI*IA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierangela Bruno, Paolo Zaffino, Salvatore Scaramuzzino, Salvatore De Rosa, Ciro Indolfi, Francesco Calimeri, Maria Francesca Spadea Using CNNs for Designing and Implementing an Automatic Vascular Segmentation Method of Biomedical Images. Search on Bibsonomy AI*IA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari I-DLV: The new intelligent grounder of DLV. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari A Framework for Easing the Development of Applications Embedding Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Stefano Germano, Francesco Calimeri, Eliana Palermiti LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco Calimeri, Mirco Caracciolo, Aldo Marzullo, Claudio Stamile BioHIPI: Biomedical Hadoop Image Processing Interface. Search on Bibsonomy MOD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Francesco Calimeri, Sabine Van Huffel A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT). Search on Bibsonomy CEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV2. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Claudio Starnile, Luca Surace S-rep model for fundus image analysis. Search on Bibsonomy ISSPIT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina Biomedical Data Augmentation Using Generative Adversarial Neural Networks. Search on Bibsonomy ICANN (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari External Computations and Interoperability in the New DLV Grounder. Search on Bibsonomy AI*IA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Moiz Khan Sherwani, Petr Sojka, Francesco Calimeri Semantic Similarities between Locations based on Ontology. Search on Bibsonomy RASLAN The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca Design and results of the Fifth Answer Set Programming Competition. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Michael Fink 0001, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova 0001, Andrea Tucci, Anton Wimmer Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. Search on Bibsonomy IEEE Trans. Comput. Intellig. and AI in Games The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri A framework for easing the development of applications embedding answer set programming. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari I -dlv: The New Intelligent Grounder of dlv. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina Optic Disc Detection Using Fine Tuned Convolutional Neural Networks. Search on Bibsonomy SITIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (eds.) Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Fifth Answer Set Programming Competition. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca The third open answer set programming competition. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao 0001 The Fourth Answer Set Programming Competition: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Michael Fink 0001, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. Search on Bibsonomy PAI@AI*IA The full citation details ... 2013 DBLP  BibTeX  RDF
1Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri Answer Set Programming and Declarative Problem Solving in Game AIs. Search on Bibsonomy PAI@AI*IA The full citation details ... 2013 DBLP  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca The Answer Set Programming Competition. Search on Bibsonomy AI Magazine The full citation details ... 2012 DBLP  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca The third open Answer Set Programming competition Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Finitely recursive programs: Decidability and bottom-up computation. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber 0001, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca Answer Set Programming. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone An ASP System with Functions, Lists, and Sets. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Simona Perri, Francesco Ricca Experimenting with parallelism for the instantiation of ASP programs. Search on Bibsonomy J. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Computable Functions in ASP: Theory and Implementation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni External sources of knowledge and value invention in logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30
1Francesco Calimeri, Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone Pruning Operators for Disjunctive Logic Programming Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni Template programs for Disjunctive Logic Programming: An operational semantics. Search on Bibsonomy AI Commun. The full citation details ... 2006 DBLP  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni Decidable Fragments of Logic Programming with Value Invention. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni External Sources of Computation for Answer Set Solvers. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Declarative and Computational Properties of Logic Programs with Aggregates. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro Parametric external predicates for the DLV System Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Francesco Calimeri, Nicola Leone Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia An agent system reasoning about the web and the user. Search on Bibsonomy WWW (Alternate Track Papers & Posters) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF information retrieval, agents, logic programming, answer set programming
1Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri Enhancing answer set programming with templates. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro A System with Template Answer Set Programs. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer New DLV Features for Data Integration. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo Enhancing Disjunctive Logic Programming for Ontology Specification. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia Reasoning about the Semantic Web using Answer Set Programming. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo OntoDLP: a Logic Formalism for Knowledge Representation. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Pruning operators for answer set programming systems. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch 0001, Simona Perri, Axel Polleres The DLV System. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #76 of 76 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license