PRUV PROGRAM
Thursday, July 19th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 131E: Welcome & invited talk I
Location: Blavatnik Seminar Room 3
09:00 | Welcome to PRUV (abstract) |
09:10 | Quantitative Logic Reasoning -- Combining logical reasoning with probabilities and counting (invited talk) (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 133E: PRUV regular papers
PRUV regular papers
Location: Blavatnik Seminar Room 3
11:00 | Measuring Disagreement among Knowledge Bases (abstract) |
11:30 | Evidential Group Decision Making Model with Belief-Based Preferences (abstract) |
12:00 | A new logic for jointly representing hard and soft constraints (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 135E: Invited talk II & a short paper
Location: Blavatnik Seminar Room 3
14:00 | An abstraction-refinement framework for automated reasoning -- a pragmatic approach (invited talk) (abstract) |
15:10 | Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 137D: PRUV regular papers
Location: Blavatnik Seminar Room 3
16:00 | A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems (abstract) |
16:30 | A New Probabilistic Algorithm for Approximate Model Counting (abstract) |
17:00 | Leveraging Probabilistic Existential Rules for Adversarial Deduplication (abstract) |
17:30 | VolCE: An Efficient Tool for Solving #SMT(LA) Problems (abstract) |