PRUV@IJCAR

Keyphrases

Publications

2018

Nico Potyka
Measuring Disagreement among Knowledge Bases. PRUV@IJCAR (2018)
Laura Giordano, Valentina Gliozzi
Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. PRUV@IJCAR (2018)
Alireza Ensan, Eugenia Ternovska, Heng Liu
A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems. PRUV@IJCAR (2018)
José Paredes, Maria Vanina Martinez, Gerardo I. Simari, Marcelo A. Falappa
Leveraging Probabilistic Existential Rules for Adversarial Deduplication. PRUV@IJCAR (2018)
Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
A New Probabilistic Algorithm for Approximate Model Counting. PRUV@IJCAR (2018)
Jan Maly, Stefan Woltran
A New Logic for Jointly Representing Hard and Soft Constraints. PRUV@IJCAR (2018)
Aouatef Rouahi, Kais Ben Salah, Khaled Ghédira
Evidential Group Decision Making Model with Belief-Based Preferences. PRUV@IJCAR (2018)
Cunjing Ge, Feifei Ma, Jian Zhang
VolCE: An Efficient Tool for Solving #SMT(LA) Problems. PRUV@IJCAR (2018)

volume 2157, 2018

Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018. PRUV@IJCAR 2157 (2018)