License:
Creative Commons Attribution-NoDerivs 3.0 Unported license (CC BY-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2012
URN: urn:nbn:de:0030-drops-41110
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/4111/
Dovier, Agostino ;
Santos Costa, Vitor
LIPIcs, Volume 17, ICLP'12, Complete Volume
Abstract
LIPIcs, Volume 17, ICLP'12, Complete Volume
BibTeX - Entry
@Proceedings{dovier_et_al:LIPIcs.ICLP.2012,
title = {{LIPIcs, Volume 17, ICLP'12, Complete Volume}},
booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-43-9},
ISSN = {1868-8969},
year = {2013},
volume = {17},
editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2013/4111},
URN = {urn:nbn:de:0030-drops-41110},
doi = {10.4230/LIPIcs.ICLP.2012},
annote = {Keywords: Logic Programming, Software Engineering, Mathematical Logic, Knowledge Representation Formalisms and Methods, Problem Solving, Control Methods}
}
Keywords: |
|
Logic Programming, Software Engineering, Mathematical Logic, Knowledge Representation Formalisms and Methods, Problem Solving, Control Methods |
Collection: |
|
Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) |
Issue Date: |
|
2013 |
Date of publication: |
|
27.09.2013 |