cfaed Publications
Many-valued Horn Logic is Hard
Reference
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza, "Many-valued Horn Logic is Hard", Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014. (Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan), CEUR-WS.org, vol. 1205, pp. 52-58, 2014.
Bibtex
@InProceedings{conf/cade/BorgwardtCP14,
author = {Stefan Borgwardt and Marco Cerami and Rafael Pe{\~{n}}aloza},
title = {Many-valued Horn Logic is Hard},
booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria, July 23-24, 2014.},
pages = {52-58},
url = {http://ceur-ws.org/Vol-1205/00010052.pdf},
editor = {Thomas Lukasiewicz and
Rafael Pe{\~{n}}aloza and
Anni{-}Yasmin Turhan},
series = {{CEUR} Workshop Proceedings},
volume = {1205},
publisher = {CEUR-WS.org},
year = {2014},
}
author = {Stefan Borgwardt and Marco Cerami and Rafael Pe{\~{n}}aloza},
title = {Many-valued Horn Logic is Hard},
booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria, July 23-24, 2014.},
pages = {52-58},
url = {http://ceur-ws.org/Vol-1205/00010052.pdf},
editor = {Thomas Lukasiewicz and
Rafael Pe{\~{n}}aloza and
Anni{-}Yasmin Turhan},
series = {{CEUR} Workshop Proceedings},
volume = {1205},
publisher = {CEUR-WS.org},
year = {2014},
}
Downloads
No Downloads available for this publication
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1300