dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework.
T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. WLP, volume 1843-06-02 of INFSYS Research Report, page 206-210. Technische Universität Wien, Austria, (2006)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/wlp/EiterIST06
%A Eiter, Thomas
%A Ianni, Giovambattista
%A Schindlauer, Roman
%A Tompits, Hans
%B WLP
%D 2006
%E Fink, Michael
%E Tompits, Hans
%E Woltran, Stefan
%I Technische Universität Wien, Austria
%K dblp
%P 206-210
%T dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework.
%U http://dblp.uni-trier.de/db/conf/wlp/wlp2006.html#EiterIST06
%V 1843-06-02
@inproceedings{conf/wlp/EiterIST06,
added-at = {2006-05-23T00:00:00.000+0200},
author = {Eiter, Thomas and Ianni, Giovambattista and Schindlauer, Roman and Tompits, Hans},
biburl = {https://www.bibsonomy.org/bibtex/24f61c2bbc5dc39ad1e2ef15a696afe3b/dblp},
booktitle = {WLP},
crossref = {conf/wlp/2006},
date = {2006-05-23},
description = {dblp},
editor = {Fink, Michael and Tompits, Hans and Woltran, Stefan},
ee = {http://www.kr.tuwien.ac.at/wlp06/S02-final.ps.gz},
interhash = {b255f8d6dc3d63bf8b6da3b6bb3b0577},
intrahash = {4f61c2bbc5dc39ad1e2ef15a696afe3b},
keywords = {dblp},
pages = {206-210},
publisher = {Technische Universität Wien, Austria},
series = {INFSYS Research Report},
timestamp = {2006-05-23T00:00:00.000+0200},
title = {dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework.},
url = {http://dblp.uni-trier.de/db/conf/wlp/wlp2006.html#EiterIST06},
volume = {1843-06-02},
year = 2006
}