Pierfrancesco Veltri
From MaRDI portal
Person:2060738
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Answers set programs for non-transferable utility games: expressiveness, complexity and applications Artificial Intelligence | 2021-12-13 | Paper |
| Enhancing magic sets with an application to ontological reasoning Theory and Practice of Logic Programming | 2020-05-04 | Paper |
| Reasoning on anonymity in Datalog | 2019-10-24 | Paper |
| Enhancing DLV for large-scale reasoning | 2019-10-10 | Paper |
| Fast query answering over existential rules ACM Transactions on Computational Logic | 2019-07-04 | Paper |
| The ASP system DLV2 | 2017-09-05 | Paper |
Research outcomes over time
This page was built for person: Pierfrancesco Veltri
