%0 Conference Paper %1 conf/webi/EiterIST06 %A Eiter, Thomas %A Ianni, Giovambattista %A Schindlauer, Roman %A Tompits, Hans %B Web Intelligence %D 2006 %I IEEE Computer Society %K dblp %P 1073-1074 %T dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. %U http://dblp.uni-trier.de/db/conf/webi/webi2006.html#EiterIST06 %@ 0-7695-2747-7

@inproceedings{conf/webi/EiterIST06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Eiter, Thomas and Ianni, Giovambattista and Schindlauer, Roman and Tompits, Hans}, biburl = {https://www.bibsonomy.org/bibtex/23efd86b93c0997e2909f7185a384e48a/dblp}, booktitle = {Web Intelligence}, crossref = {conf/webi/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/WI.2006.64}, interhash = {43114af25d2502e24c4a5a7ff2bbffbc}, intrahash = {3efd86b93c0997e2909f7185a384e48a}, isbn = {0-7695-2747-7}, keywords = {dblp}, pages = {1073-1074}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:15:55.000+0200}, title = {dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics.}, url = {http://dblp.uni-trier.de/db/conf/webi/webi2006.html#EiterIST06}, year = 2006 }