Francesco Calimeri

From MaRDI portal
Person:899442

Available identifiers

zbMath Open calimeri.francescoDBLPc/FrancescoCalimeriWikidataQ42414417 ScholiaQ42414417MaRDI QIDQ899442

List of research outcomes





PublicationDate of PublicationType
Efficient compliance checking of RDF data2024-02-13Paper
EnviroStream: A Stream Reasoning Benchmark for Climate and Ambient Monitoring2023-07-13Dataset
DeduDeep: an extensible framework for combining deep learning and ASP-based models2023-04-04Paper
https://portal.mardi4nfdi.de/entity/Q50209872022-01-11Paper
I-DLV-sr: A Stream Reasoning System based on I-DLV2022-01-10Paper
Optimizing Answer Set Computation via Heuristic-Based Decomposition2021-09-03Paper
Efficiently Coupling the I-DLV Grounder with ASP Solvers2021-09-03Paper
ASP-Core-2 Input Language Format2021-09-03Paper
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders2021-09-03Paper
Incremental Answer Set Programming with Overgrounding2020-05-04Paper
Enhancing DLV for large-scale reasoning2019-10-10Paper
The ASP system DLV22017-09-05Paper
Design and results of the Fifth Answer Set Programming Competition2015-12-28Paper
https://portal.mardi4nfdi.de/entity/Q49068822013-02-28Paper
Finitely recursive programs: decidability and bottom-up computation2012-04-16Paper
https://portal.mardi4nfdi.de/entity/Q31126382012-01-12Paper
Answer set programming2010-07-20Paper
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs2009-11-10Paper
Computable Functions in ASP: Theory and Implementation2009-01-22Paper
Decidable Fragments of Logic Programming with Value Invention2008-10-30Paper
Experimenting with parallelism for the instantiation of ASP programs2008-09-29Paper
External sources of knowledge and value invention in logic programming2007-10-23Paper
https://portal.mardi4nfdi.de/entity/Q34134982006-12-12Paper
https://portal.mardi4nfdi.de/entity/Q54806532006-08-03Paper
Logic Programming and Nonmonotonic Reasoning2006-06-23Paper
https://portal.mardi4nfdi.de/entity/Q47089522003-06-20Paper

Research outcomes over time

This page was built for person: Francesco Calimeri