Francesco Calimeri

Available identifiers

zbMath Open calimeri.francescoDBLPc/FrancescoCalimeriWikidataQ42414417 ScholiaQ42414417MaRDI QIDQ899442

List of research outcomes

Publication	Date of Publication	Type
Efficient compliance checking of RDF data	2024-02-13	Paper
EnviroStream: A Stream Reasoning Benchmark for Climate and Ambient Monitoring	2023-07-13	Dataset
DeduDeep: an extensible framework for combining deep learning and ASP-based models	2023-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q5020987	2022-01-11	Paper
I-DLV-sr: A Stream Reasoning System based on I-DLV	2022-01-10	Paper
Optimizing Answer Set Computation via Heuristic-Based Decomposition	2021-09-03	Paper
Efficiently Coupling the I-DLV Grounder with ASP Solvers	2021-09-03	Paper
ASP-Core-2 Input Language Format	2021-09-03	Paper
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders	2021-09-03	Paper
Incremental Answer Set Programming with Overgrounding	2020-05-04	Paper
Enhancing DLV for large-scale reasoning	2019-10-10	Paper
The ASP system DLV2	2017-09-05	Paper
Design and results of the Fifth Answer Set Programming Competition	2015-12-28	Paper
https://portal.mardi4nfdi.de/entity/Q4906882	2013-02-28	Paper
Finitely recursive programs: decidability and bottom-up computation	2012-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q3112638	2012-01-12	Paper
Answer set programming	2010-07-20	Paper
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs	2009-11-10	Paper
Computable Functions in ASP: Theory and Implementation	2009-01-22	Paper
Decidable Fragments of Logic Programming with Value Invention	2008-10-30	Paper
Experimenting with parallelism for the instantiation of ASP programs	2008-09-29	Paper
External sources of knowledge and value invention in logic programming	2007-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q3413498	2006-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q5480653	2006-08-03	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4708952	2003-06-20	Paper

Research outcomes over time

This page was built for person: Francesco Calimeri