| Publication | Date of Publication | Type |
|---|
Efficient compliance checking of RDF data
Journal Of Logic And Computation | 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 |
| scientific article; zbMATH DE number 7455725 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455725 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
I-DLV-sr: A Stream Reasoning System based on I-DLV
Theory and Practice of Logic Programming | 2022-01-10 | Paper |
Optimizing answer set computation via heuristic-based decomposition
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
ASP-Core-2 input language format
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Incremental answer set programming with overgrounding
Theory and Practice of Logic Programming | 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
Artificial Intelligence | 2015-12-28 | Paper |
| scientific article; zbMATH DE number 6139984 (Why is no real title available?) | 2013-02-28 | Paper |
Finitely recursive programs: decidability and bottom-up computation
AI Communications | 2012-04-16 | Paper |
| scientific article; zbMATH DE number 5996835 (Why is no real title available?) | 2012-01-12 | Paper |
Answer set programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Computable Functions in ASP: Theory and Implementation
Logic Programming | 2009-01-22 | Paper |
Decidable Fragments of Logic Programming with Value Invention
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms | 2008-09-29 | Paper |
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence | 2007-10-23 | Paper |
| scientific article; zbMATH DE number 5079838 (Why is no real title available?) | 2006-12-12 | Paper |
| scientific article; zbMATH DE number 5043340 (Why is no real title available?) | 2006-08-03 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
| scientific article; zbMATH DE number 1931693 (Why is no real title available?) | 2003-06-20 | Paper |
