Many-Valued Horn Logic is Hard
From International Center for Computational Logic
Many-Valued Horn Logic is Hard
Stefan BorgwardtStefan Borgwardt, Marco CeramiMarco Cerami, Rafael PeñalozaRafael Peñaloza
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Many-Valued Horn Logic is Hard
In Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan, eds., Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV'14), volume 1205 of CEUR Workshop Proceedings, 52-58, 2014
Many-Valued Horn Logic is Hard
In Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan, eds., Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV'14), volume 1205 of CEUR Workshop Proceedings, 52-58, 2014
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BoCP-PRUV14,
address = {Vienna, Austria},
author = {Stefan {Borgwardt} and Marco {Cerami} and Rafael {Pe{\~n}aloza}},
booktitle = {Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness ({PRUV'14})},
editor = {Thomas {Lukasiewicz} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
pages = {52--58},
series = {CEUR Workshop Proceedings},
title = {Many-Valued Horn Logic is Hard},
volume = {1205},
year = {2014},
}
