PRUV

Keyphrases

Publications

2014

Joohyung Lee, Yi Wang
Stable Models of Fuzzy Propositional Formulas. PRUV (2014)
David Mitchell
Resolution and Clause Learning for Multi-Valued CNF Formulas. PRUV (2014)
Libor Behounek
In Which Sense Is Fuzzy Logic a Logic for Vagueness? PRUV (2014)
Arina Britz, Ivan José Varzinczak
Towards a Logic of Dilation. PRUV (2014)
Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari
Answering Ontological Ranking Queries Based on Subjective Reports. PRUV (2014)
Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska
Computing k-Rank Answers with Ontological CP-Nets. PRUV (2014)
Eva Armengol
Learning Preferences for Collaboration. PRUV (2014)
Christoph Beierle, Markus Höhnerbach, Marcus Marto
Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics. PRUV (2014)
Ala Djeddai, Hassina Seridi, Tarek Khadir
A New DL-Lite N Bool Probabilistic Extension Using Belief. PRUV (2014)
Andreas Ecke
Similarity-based Relaxed Instance Queries in EL++. PRUV (2014)
Erman Acar, Christian Meilicke
Multi-Attribute Decision Making using Weighted Description Logics. PRUV (2014)
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Many-valued Horn Logic is Hard. PRUV (2014)

volume 1205, 2014

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. PRUV 1205 (2014)