Francesco Calimeri

Available identifiers

zbMath Open calimeri.francescoWikidataQ42414417 ScholiaQ42414417MaRDI QIDQ899442

List of research outcomes

Publication	Date of Publication	Type
Efficient compliance checking of RDF data	2024-02-13	Paper
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
https://portal.mardi4nfdi.de/entity/Q2880785	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francesco Calimeri