Many-Valued Horn Logic is Hard

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column
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
@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},
}