Inproceedings,
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
F. Calimeri, G. Ianni, F. Pacenza, S. Perri, and J. Zangari.PPDP, page 2:1-2:9. ACM, (2022)
Meta data
- BibTeX key
- conf/ppdp/CalimeriIPPZ22
- entry type
- inproceedings
- booktitle
- PPDP
- year
- 2022
- pages
- 2:1-2:9
- publisher
- ACM
- crossref
- conf/ppdp/2022
- ee
- https://doi.org/10.1145/3551357.3551371
- isbn
- 978-1-4503-9703-2
- url
- http://dblp.uni-trier.de/db/conf/ppdp/ppdp2022.html#CalimeriIPPZ22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ppdp/CalimeriIPPZ22
%A Calimeri, Francesco
%A Ianni, Giovambattista
%A Pacenza, Francesco
%A Perri, Simona
%A Zangari, Jessica
%B PPDP
%D 2022
%I ACM
%K dblp
%P 2:1-2:9
%T ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
%U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2022.html#CalimeriIPPZ22
%@ 978-1-4503-9703-2
@inproceedings{conf/ppdp/CalimeriIPPZ22,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Calimeri, Francesco and Ianni, Giovambattista and Pacenza, Francesco and Perri, Simona and Zangari, Jessica},
biburl = {https://www.bibsonomy.org/bibtex/287a1b4fc0258d1824fadd900e42a08ae/dblp},
booktitle = {PPDP},
crossref = {conf/ppdp/2022},
ee = {https://doi.org/10.1145/3551357.3551371},
interhash = {b04d8b84fed78c5f0c58d98e59f353de},
intrahash = {87a1b4fc0258d1824fadd900e42a08ae},
isbn = {978-1-4503-9703-2},
keywords = {dblp},
pages = {2:1-2:9},
publisher = {ACM},
timestamp = {2024-04-09T21:36:35.000+0200},
title = {ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.},
url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2022.html#CalimeriIPPZ22},
year = 2022
}