Francesco Calimeri | DeepAI

AI Chat

Featured Co-authors

Torsten Schaub
48 publications
Martin Gebser
27 publications
Carmine Dodaro
26 publications
Mario Alviano
26 publications
Francesco Ricca
25 publications
Marco Maratea
20 publications
Wolfgang Faber
19 publications
Nicola Leone
17 publications
Roland Kaminski
12 publications
Marco Manna
11 publications
Jessica Zangari
11 publications

∙ 08/05/2021

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

We introduce a novel logic-based system for reasoning over data streams,...

12 Francesco Calimeri, et al. ∙

∙ 09/22/2020

A Machine Learning guided Rewriting Approach for ASP Logic Programs

Answer Set Programming (ASP) is a declarative logic formalism that allow...

0 Elena Mastria, et al. ∙

∙ 11/11/2019

ASP-Core-2 Input Language Format

Standardization of solver input languages has been a main driver for the...

5 Francesco Calimeri, et al. ∙

∙ 10/21/2019

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

Deductive formalisms have been strongly developed in recent years; among...

0 Francesco Calimeri, et al. ∙

∙ 07/22/2019

Incremental Answer Set Programming with Overgrounding

Repeated executions of reasoning tasks for varying inputs are necessary ...

0 Francesco Calimeri, et al. ∙

∙ 12/23/2018

Optimizing Answer Set Computation via Heuristic-Based Decomposition

Answer Set Programming (ASP) is a purely declarative formalism developed...

0 Francesco Calimeri, et al. ∙

∙ 09/28/2018

Efficiently Coupling the I-DLV Grounder with ASP Solvers

We present I-DLV+MS , a new Answer Set Programming (ASP) system that int...

0 Francesco Calimeri, et al. ∙

∙ 09/15/2017

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

Logic-based paradigms are nowadays widely used in many different fields,...

0 Stefano Germano, et al. ∙

∙ 07/21/2017

A Framework for Easing the Development of Applications Embedding Answer Set Programming

Answer Set Programming (ASP) is a well-established declarative problem s...

0 Francesco Calimeri, et al. ∙

∙ 05/14/2014

The Design of the Fifth Answer Set Programming Competition

Answer Set Programming (ASP) is a well-established paradigm of declarati...

0 Francesco Calimeri, et al. ∙

∙ 01/18/2014

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

Logic programs with aggregates (LPA) are one of the major linguistic ext...

0 Mario Alviano, et al. ∙

∙ 06/14/2012

The third open Answer Set Programming competition

Answer Set Programming (ASP) is a well-established paradigm of declarati...

0 Francesco Calimeri, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world