| Publication | Date of Publication | Type |
|---|
| 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 |
Precomputing Datalog evaluation plans in large-scale scenarios
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Incremental answer set programming with overgrounding
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
| Memory-saving evaluation plans for Datalog | 2020-02-18 | Paper |
| Enhancing DLV for large-scale reasoning | 2019-10-10 | Paper |
| The ASP system DLV2 | 2017-09-05 | Paper |
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Parallel instantiation of ASP programs: techniques and experiments
Theory and Practice of Logic Programming | 2013-06-26 | Paper |
The intelligent grounder of DLV
Correct Reasoning | 2012-07-23 | Paper |
| scientific article; zbMATH DE number 5996835 (Why is no real title available?) | 2012-01-12 | Paper |
| On demand indexing for the DLV instantiator | 2011-11-23 | Paper |
| Efficient parallel ASP instantiation via dynamic rewriting | 2011-11-23 | Paper |
Census data repair: a challenging application of disjunctive logic programming
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms | 2008-09-29 | Paper |
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence | 2008-04-21 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2111988 (Why is no real title available?) | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 1931693 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1890626 (Why is no real title available?) | 2003-05-18 | Paper |
| scientific article; zbMATH DE number 1884396 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1884352 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1538058 (Why is no real title available?) | 2001-06-13 | Paper |
