Francesco Calimeri

Giorgio Terracina, Francesco Calimeri, Aldo Marzullo, 2016, 2016 12th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS).

Decidable Fragments of Logic Programming with Value Invention

Giovambattista Ianni, Francesco Calimeri, Susanna Cozza, 2006, JELIA.

Reasoning over Ontologies with DLV

Mario Alviano, Francesco Ricca, Marco Manna, 2018, IC3K.

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Simona Perri, Jessica Zangari, Francesco Calimeri, 2019, Electronic Proceedings in Theoretical Computer Science.

Third ASP Competition File and language formats

Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, 2011 .

Finitely recursive programs: Decidability and bottom-up computation

Giovambattista Ianni, Nicola Leone, Francesco Calimeri, 2011, AI Commun..

Practical Aspects of Declarative Languages - 20th International Symposium, {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings

Kevin W. Hamlen, Francesco Calimeri, Nicola Leone, 2018 .

Prediction of Multiple Sclerosis Patient Disability from Structural Connectivity using Convolutional Neural Networks

Giorgio Terracina, Francesco Calimeri, Aldo Marzullo, 2019, 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).

I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector

Simona Perri, Jessica Zangari, Francesco Calimeri, 2017, RCRA@AI*IA.

BioHIPI: Biomedical Hadoop Image Processing Interface

Francesco Calimeri, Aldo Marzullo, Claudio Stamile, 2017, MOD.

How Modern Deductive Database Systems Can Enhance Data Integration

Giorgio Terracina, Simona Perri, Jessica Zangari, 2018, SEBD.

An agent system reasoning about the web and the user

Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, 2004, WWW Alt. '04.

Artificial intelligence for brain diseases: A systematic review

Elena De Momi, Francesco Calimeri, Aldo Marzullo, 2020, APL bioengineering.

The Design of the Fifth Answer Set Programming Competition pdf

Martin Gebser, Francesco Ricca, Marco Maratea, 2014, ArXiv.

Developing ASP Programs with ASPIDE and LoIDE

Francesco Ricca, Francesco Calimeri, Stefano Germano, 2018, KI - Künstliche Intelligenz.

Computable Functions in ASP: Theory and Implementation

Giovambattista Ianni, Nicola Leone, Francesco Calimeri, 2008, ICLP.

I-DLV: The new intelligent grounder of DLV

Simona Perri, Jessica Zangari, Francesco Calimeri, 2017, Intelligenza Artificiale.

A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT)

Sabine Van Huffel, Giorgio Terracina, Francesco Calimeri, 2017, 2017 IEEE Congress on Evolutionary Computation (CEC).

LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report pdf

Francesco Calimeri, Stefano Germano, Eliana Palermiti, 2017, ArXiv.

S-rep model for fundus image analysis

Francesco Calimeri, Claudio Starnile, Luca Surace, 2017, 2017 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT).

Using CNNs for Designing and Implementing an Automatic Vascular Segmentation Method of Biomedical Images

Pierangela Bruno, Paolo Zaffino, Maria Francesca Spadea, 2018, AI*IA.

Understanding Automatic Diagnosis and Classification Processes with Data Visualization

Elena De Momi, Pierangela Bruno, Francesco Calimeri, 2020, 2020 IEEE International Conference on Human-Machine Systems (ICHMS).

The Fourth Answer Set Programming Competition: Preliminary Report

Mario Alviano, Giovambattista Ianni, Guohui Xiao, 2013, LPNMR.

Design and results of the Fifth Answer Set Programming Competition

Martin Gebser, Francesco Ricca, Marco Maratea, 2016, Artif. Intell..

The ASP System DLV2

Mario Alviano, Nicola Leone, Francesco Ricca, 2017, LPNMR.

A System with Template Answer Set Programs

Giovambattista Ianni, Francesco Calimeri, Giuseppe Ielpa, 2004, JELIA.

Understanding Automatic COVID-19 Classification Using Chest X-ray images

Pierangela Bruno, Cinzia Marte, Francesco Calimeri, 2020, XAI.it@AI*IA.

Enhancing answer set programming with templates

Giovambattista Ianni, Francesco Calimeri, Giuseppe Ielpa, 2004, NMR.

Classification and Survival Prediction in Diffuse Large B-Cell Lymphoma by Gene Expression Profiling

Pierangela Bruno, Francesco Calimeri, Aldo Marzullo, 2018, LOD.

Evaluating the Impact of Training Loss on MR to Synthetic CT Conversion

Pierangela Bruno, Paolo Zaffino, Maria Francesca Spadea, 2020, LOD.

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track

Mario Alviano, Wolfgang Faber, Giovambattista Ianni, 2011, LPNMR.

Template programs for Disjunctive Logic Programming: An operational semantics

Giovambattista Ianni, Francesco Calimeri, Francesco Calimeri, 2006, AI Commun..

Optimizing Answer Set Computation via Heuristic-Based Decomposition

Simona Perri, Jessica Zangari, Francesco Calimeri, 2019, Theory Pract. Log. Program..

Parametric external predicates for the DLV System

Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, 2004, ArXiv.

The ASP System DLV: Advancements and Applications

Mario Alviano, Wolfgang Faber, Nicola Leone, 2018, KI - Künstliche Intelligenz.

Reasoning about the Semantic Web using Answer Set Programming

Giovambattista Ianni, Francesco Calimeri, Stefania Galizia, 2003, APPIA-GULP-PRODE.

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs

Giovambattista Ianni, Nicola Leone, Francesco Calimeri, 2009, LPNMR.

Classification of Multiple Sclerosis Clinical Profiles via Graph Convolutional Neural Networks

Giorgio Terracina, Francesco Calimeri, Aldo Marzullo, 2019, Front. Neurosci..

Large-Scale Reasoning on Expressive Horn Ontologies

Francesco Ricca, Marco Manna, Carlo Allocca, 2019, Datalog.

Enhancing DLV for Large-Scale Reasoning

Mario Alviano, Nicola Leone, Francesco Ricca, 2019, LPNMR.

External Computations and Interoperability in the New DLV Grounder

Simona Perri, Jessica Zangari, Francesco Calimeri, 2017, AI*IA.

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases

Michael Fink, Giovambattista Ianni, Christoph Redl, 2016, IEEE Transactions on Computational Intelligence and AI in Games.

A Visual Tracer for DLV

Nicola Leone, Francesco Ricca, Pierfrancesco Veltri, 2009 .

Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach

Giovambattista Ianni, Francesco Calimeri, Stefano Germano, 2018, AI*IA.

External sources of knowledge and value invention in logic programming

Giovambattista Ianni, Francesco Calimeri, Susanna Cozza, 2007, Annals of Mathematics and Artificial Intelligence.

Pruning Operators for Disjunctive Logic Programming Systems

Wolfgang Faber, Gerald Pfeifer, Nicola Leone, 2006, Fundam. Informaticae.

A Smartphone Application for Supporting the Data Collection and Analysis of the Cultural Heritage Damaged during Natural Disasters

Antonio Costanzo, Massimo Musacchio, Francesco Calimeri, 2017, ECSA 2017.

Incremental Answer Set Programming with Overgrounding pdf

Giovambattista Ianni, Simona Perri, Jessica Zangari, 2019, Theory and Practice of Logic Programming.

WI'05 Non-PC Reviewers

Yuxin Mao, Ivan Janciak, Fabio Vitali, 2005, Web Intelligence.

Blood Vessel Segmentation in Retinal Fundus Images Using Hypercube NeuroEvolution of Augmenting Topologies (HyperNEAT)

Giorgio Terracina, Francesco Calimeri, Aldo Marzullo, 2019, Quantifying and Processing Biomedical and Behavioral Signals.

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates pdf

Mario Alviano, Wolfgang Faber, Nicola Leone, 2011, J. Artif. Intell. Res..

An ASP System with Functions, Lists, and Sets

Giovambattista Ianni, Nicola Leone, Francesco Calimeri, 2009, LPNMR.

The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain

Giovambattista Ianni, Simona Perri, Jessica Zangari, 2013 .

The DLV System

Georg Gottlob, Gerald Pfeifer, Thomas Eiter, 2002, JELIA.

I -dlv: The New Intelligent Grounder of dlv

Simona Perri, Jessica Zangari, Francesco Calimeri, 2016, AI*IA.

The ASP Instantiator I-DLV

Simona Perri, Jessica Zangari, Francesco Calimeri, 2017 .

Enhancing Disjunctive Logic Programming for Ontology Specification

Francesco Calimeri, Pasquale Rullo, Massimo Ruffolo, 2003, APPIA-GULP-PRODE.

The Answer Set Programming Competition

Giovambattista Ianni, Francesco Ricca, Thomas Krennwallner, 2012, AI Mag..

Efficiently Coupling the I-DLV Grounder with ASP Solvers pdf

Simona Perri, Jessica Zangari, Carmine Dodaro, 2018, Theory and Practice of Logic Programming.

Declarative and Computational Properties of Logic Programs with Aggregates

Wolfgang Faber, Nicola Leone, Simona Perri, 2005, IJCAI.

Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation

Pierangela Bruno, Paolo Zaffino, Maria Francesca Spadea, 2018, RiCeRcA@AI*IA.

A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders

Giorgio Terracina, Francesco Calimeri, Francesco Cauteruccio, 2019, Theory and Practice of Logic Programming.

Correction to: Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach

Giovambattista Ianni, Francesco Calimeri, Stefano Germano, 2018 .

Optimizing Answer Set Computation via Heuristic-Based Decomposition

Simona Perri, Jessica Zangari, Francesco Calimeri, 2018, Theory and Practice of Logic Programming.

Biomedical Data Augmentation Using Generative Adversarial Neural Networks

Giorgio Terracina, Francesco Calimeri, Aldo Marzullo, 2017, ICANN.

Pruning operators for answer set programming systems

Wolfgang Faber, Gerald Pfeifer, Nicola Leone, 2002, NMR.

Practical Aspects of Declarative Languages

Nicola Leone, Francesco Calimeri, Kevin Hamlen, 2018, Lecture Notes in Computer Science.

Using Heatmaps for Deep Learning based Disease Classification

Pierangela Bruno, Francesco Calimeri, Pierangela Bruno, 2019, 2019 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB).

Towards realistic laparoscopic image generation using image-domain translation

Elena De Momi, Sara Moccia, Francesco Calimeri, 2020, Comput. Methods Programs Biomed..

A framework for easing the development of applications embedding answer set programming

Simona Perri, Jessica Zangari, Francesco Calimeri, 2016, PPDP.

External Sources of Computation for Answer Set Solvers

Giovambattista Ianni, Francesco Calimeri, G. Ianni, 2005, LPNMR.

ASP-Core-2 Input Language Format

Martin Gebser, Torsten Schaub, Giovambattista Ianni, 2019, Theory and Practice of Logic Programming.

Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis

Giorgio Terracina, Francesco Calimeri, Francesco Cauteruccio, 2018, RuleML+RR.

Boosting the Development of ASP-Based Applications in Mobile and General Scenarios

Simona Perri, Jessica Zangari, Francesco Calimeri, 2016, AI*IA.

Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)

Nicola Leone, Francesco Calimeri, 2004, ArXiv.

Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework

Simona Perri, Jessica Zangari, Francesco Calimeri, 2018, New Generation Computing.

Querying Large Expressive Horn Ontologies

Mario Alviano, Nicola Leone, Francesco Ricca, 2019, SEBD.

Answer Set Programming and Declarative Problem Solving in Game AIs

Simona Perri, Jessica Zangari, Francesco Calimeri, 2013, PAI@AI*IA.

How can we learn (more) from challenges? A statistical approach to driving future algorithm development pdf

Lena Maier-Hein, Annika Reinke, Pierangela Bruno, 2021, ArXiv.

AIM in Medical Informatics

Pierangela Bruno, Gianluigi Greco, Francesco Calimeri, 2021, Artificial Intelligence in Medicine.

Optimized 3D path planner for steerable catheters with deductive reasoning

Elena De Momi, Simona Perri, Jessica Zangari, 2021, 2021 IEEE International Conference on Robotics and Automation (ICRA).

I-DLV-sr: A Stream Reasoning System based on I-DLV pdf

Marco Manna, Simona Perri, Jessica Zangari, 2021, Theory and Practice of Logic Programming.

Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images

Pierangela Bruno, Marco Manna, Cinzia Marte, 2021, RuleML+RR.

Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)

Simona Perri, Francesco Calimeri, Marco Manna, 2021, Theory Pract. Log. Program..

Smart Devices and Large Scale Reasoning via ASP: Tools and Applications

Nicola Leone, Francesco Ricca, Francesco Calimeri, 2022, PADL.

Function Symbols in ASP : Overview and Perspectives

Mario Alviano, Wolfgang Faber, Giovambattista Ianni, 2012 .

Novel Method for Automated Analysis of Retinal Images: Results in Subjects with Hypertensive Retinopathy and CADASIL

Francesco Calimeri, Claudio Stamile, Michele Cavallari, 2015, BioMed research international.

Inducing Clinical Course Variations in Multiple Sclerosis White Matter Networks

Francesco Calimeri, Aldo Marzullo, Claudio Stamile, 2019, Advances in Intelligent Systems and Computing.

On the Application of the Answer Set Programming System DLV in Industry: a Report from the Field

Francesco Ricca, Francesco Calimeri, Francesco Calimeri, .