Inproceedings,
An ASP-based Approach for Optimizing DLV Evaluation.
C. Allocca, F. Calimeri, R. Costabile, A. Fiorentino, N. Leone, M. Manna, S. Perri, and J. Zangari.CILC, volume 2396 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)
Meta data
- BibTeX key
- conf/cilc/AlloccaCCFLMPZ19
- entry type
- inproceedings
- booktitle
- CILC
- year
- 2019
- publisher
- CEUR-WS.org
- series
- CEUR Workshop Proceedings
- volume
- 2396
- crossref
- conf/cilc/2019
- ee
- https://nbn-resolving.org/urn:nbn:de:0074-2396-0
- url
- http://dblp.uni-trier.de/db/conf/cilc/cilc2019.html#AlloccaCCFLMPZ19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cilc/AlloccaCCFLMPZ19
%A Allocca, Carlo
%A Calimeri, Francesco
%A Costabile, Roberta
%A Fiorentino, Alessio
%A Leone, Nicola
%A Manna, Marco
%A Perri, Simona
%A Zangari, Jessica
%B CILC
%D 2019
%E Casagrande, Alberto
%E Omodeo, Eugenio G.
%I CEUR-WS.org
%K dblp
%T An ASP-based Approach for Optimizing DLV Evaluation.
%U http://dblp.uni-trier.de/db/conf/cilc/cilc2019.html#AlloccaCCFLMPZ19
%V 2396
@inproceedings{conf/cilc/AlloccaCCFLMPZ19,
added-at = {2019-07-02T00:00:00.000+0200},
author = {Allocca, Carlo and Calimeri, Francesco and Costabile, Roberta and Fiorentino, Alessio and Leone, Nicola and Manna, Marco and Perri, Simona and Zangari, Jessica},
biburl = {https://www.bibsonomy.org/bibtex/259cc5a987bc5b464f3eaf30e2518058d/dblp},
booktitle = {CILC},
crossref = {conf/cilc/2019},
editor = {Casagrande, Alberto and Omodeo, Eugenio G.},
ee = {https://nbn-resolving.org/urn:nbn:de:0074-2396-0},
interhash = {1a73c7c6d3fd1754e12d90490e6383ef},
intrahash = {59cc5a987bc5b464f3eaf30e2518058d},
keywords = {dblp},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-09T13:16:11.000+0200},
title = {An ASP-based Approach for Optimizing DLV Evaluation.},
url = {http://dblp.uni-trier.de/db/conf/cilc/cilc2019.html#AlloccaCCFLMPZ19},
volume = 2396,
year = 2019
}