Inproceedings,
The Semantics of Gringo and Infinitary Propositional Formulas.
A. Harrison, V. Lifschitz, and F. Yang.KR, AAAI Press, (2014)
Meta data
- BibTeX key
- conf/kr/HarrisonLY14
- entry type
- inproceedings
- booktitle
- KR
- year
- 2014
- publisher
- AAAI Press
- crossref
- conf/kr/2014
- ee
- http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7966
- isbn
- 978-1-57735-657-8
- url
- http://dblp.uni-trier.de/db/conf/kr/kr2014.html#HarrisonLY14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kr/HarrisonLY14
%A Harrison, Amelia J.
%A Lifschitz, Vladimir
%A Yang, Fangkai
%B KR
%D 2014
%E Baral, Chitta
%E Giacomo, Giuseppe De
%E Eiter, Thomas
%I AAAI Press
%K dblp
%T The Semantics of Gringo and Infinitary Propositional Formulas.
%U http://dblp.uni-trier.de/db/conf/kr/kr2014.html#HarrisonLY14
%@ 978-1-57735-657-8
@inproceedings{conf/kr/HarrisonLY14,
added-at = {2021-02-09T00:00:00.000+0100},
author = {Harrison, Amelia J. and Lifschitz, Vladimir and Yang, Fangkai},
biburl = {https://www.bibsonomy.org/bibtex/2942a9734513461f6acbfa2c0cd817b6a/dblp},
booktitle = {KR},
crossref = {conf/kr/2014},
editor = {Baral, Chitta and Giacomo, Giuseppe De and Eiter, Thomas},
ee = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7966},
interhash = {e8ec4552b7b65ea0cf427d5e3f3a78b2},
intrahash = {942a9734513461f6acbfa2c0cd817b6a},
isbn = {978-1-57735-657-8},
keywords = {dblp},
publisher = {AAAI Press},
timestamp = {2024-04-09T23:53:51.000+0200},
title = {The Semantics of Gringo and Infinitary Propositional Formulas.},
url = {http://dblp.uni-trier.de/db/conf/kr/kr2014.html#HarrisonLY14},
year = 2014
}