Inproceedings,
Omission-Based Abstraction for Answer Set Programs.
Z. Saribatur, and T. Eiter.KR, page 42-51. AAAI Press, (2018)
Meta data
- BibTeX key
- conf/kr/SaribaturE18
- entry type
- inproceedings
- booktitle
- KR
- year
- 2018
- pages
- 42-51
- publisher
- AAAI Press
- crossref
- conf/kr/2018
- ee
- https://aaai.org/ocs/index.php/KR/KR18/paper/view/18063
- isbn
- 978-1-57735-803-9
- url
- http://dblp.uni-trier.de/db/conf/kr/kr2018.html#SaribaturE18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kr/SaribaturE18
%A Saribatur, Zeynep G.
%A Eiter, Thomas
%B KR
%D 2018
%E Thielscher, Michael
%E Toni, Francesca
%E Wolter, Frank
%I AAAI Press
%K dblp
%P 42-51
%T Omission-Based Abstraction for Answer Set Programs.
%U http://dblp.uni-trier.de/db/conf/kr/kr2018.html#SaribaturE18
%@ 978-1-57735-803-9
@inproceedings{conf/kr/SaribaturE18,
added-at = {2023-12-13T00:00:00.000+0100},
author = {Saribatur, Zeynep G. and Eiter, Thomas},
biburl = {https://www.bibsonomy.org/bibtex/2d77b9623ef6b43fdc24923e1bb4af440/dblp},
booktitle = {KR},
crossref = {conf/kr/2018},
editor = {Thielscher, Michael and Toni, Francesca and Wolter, Frank},
ee = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18063},
interhash = {e864bd968bd1fcb49d2e680038327252},
intrahash = {d77b9623ef6b43fdc24923e1bb4af440},
isbn = {978-1-57735-803-9},
keywords = {dblp},
pages = {42-51},
publisher = {AAAI Press},
timestamp = {2024-04-09T23:54:05.000+0200},
title = {Omission-Based Abstraction for Answer Set Programs.},
url = {http://dblp.uni-trier.de/db/conf/kr/kr2018.html#SaribaturE18},
year = 2018
}