Inproceedings,
Syntactic ASP Forgetting with Forks.
F. Aguado, P. Cabalar, J. Fandinno, D. Pearce, G. Pérez, and C. Vidal.LPNMR, volume 13416 of Lecture Notes in Computer Science, page 3-15. Springer, (2022)
Meta data
- BibTeX key
- conf/lpnmr/AguadoCFPPV22
- entry type
- inproceedings
- booktitle
- LPNMR
- year
- 2022
- pages
- 3-15
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 13416
- crossref
- conf/lpnmr/2022
- ee
- https://doi.org/10.1007/978-3-031-15707-3_1
- isbn
- 978-3-031-15707-3
- url
- http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#AguadoCFPPV22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/lpnmr/AguadoCFPPV22
%A Aguado, Felicidad
%A Cabalar, Pedro
%A Fandinno, Jorge
%A Pearce, David
%A Pérez, Gilberto
%A Vidal, Concepción
%B LPNMR
%D 2022
%E Gottlob, Georg
%E Inclezan, Daniela
%E Maratea, Marco
%I Springer
%K dblp
%P 3-15
%T Syntactic ASP Forgetting with Forks.
%U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#AguadoCFPPV22
%V 13416
%@ 978-3-031-15707-3
@inproceedings{conf/lpnmr/AguadoCFPPV22,
added-at = {2022-09-22T00:00:00.000+0200},
author = {Aguado, Felicidad and Cabalar, Pedro and Fandinno, Jorge and Pearce, David and Pérez, Gilberto and Vidal, Concepción},
biburl = {https://www.bibsonomy.org/bibtex/28573b9b7709c674e110a31929a49205d/dblp},
booktitle = {LPNMR},
crossref = {conf/lpnmr/2022},
editor = {Gottlob, Georg and Inclezan, Daniela and Maratea, Marco},
ee = {https://doi.org/10.1007/978-3-031-15707-3_1},
interhash = {7a99c265e7ac81333ff87306f7ca30e2},
intrahash = {8573b9b7709c674e110a31929a49205d},
isbn = {978-3-031-15707-3},
keywords = {dblp},
pages = {3-15},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T16:58:14.000+0200},
title = {Syntactic ASP Forgetting with Forks.},
url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#AguadoCFPPV22},
volume = 13416,
year = 2022
}