EasyChair Smart SlideDocs/Log in
Conference: PRUV'18 (Workshop on Reasoning with Preferences, Uncertainty and Vagueness)

This page shows all presentations from this conference published in EasyChair Smart Slide.

A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems

A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems

Alireza Ensan, Eugenia Ternovska and Heng Liu

Quantitative Logic Reasoning -- Combining Logical Reasoning with Probabilities and Counting (Invited Talk)

Quantitative Logic Reasoning -- Combining Logical Reasoning with Probabilities and Counting (Invited Talk)

Marcelo Finger

A new logic for jointly representing hard and soft constraints

A new logic for jointly representing hard and soft constraints

Jan Maly and Stefan Woltran

VolCE: An Efficient Tool for Solving #SMT(LA) Problems

VolCE: An Efficient Tool for Solving #SMT(LA) Problems

Cunjing Ge, Feifei Ma and Jian Zhang

Leveraging Probabilistic Existential Rules for Adversarial Deduplication

Leveraging Probabilistic Existential Rules for Adversarial Deduplication

José Paredes, Maria Vanina Martinez, Gerardo Simari and Marcelo A. Falappa

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair