FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PRUV PROGRAM
Thursday, July 19th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 127E: Welcome & invited talk I
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 129E: PRUV regular papers

PRUV regular papers

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 131E: Invited talk II & a short paper
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 133D: PRUV regular papers
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)