Francesco Calimeri

From MaRDI portal
Person:899442

Available identifiers

zbMath Open calimeri.francescoWikidataQ42414417 ScholiaQ42414417MaRDI QIDQ899442

List of research outcomes

PublicationDate of PublicationType
Efficient compliance checking of RDF data2024-02-13Paper
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
https://portal.mardi4nfdi.de/entity/Q28807852012-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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Francesco Calimeri