FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

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

Marcelo Finger

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

Alireza Ensan, Eugenia Ternovska and Heng Liu

Leveraging Probabilistic Existential Rules for Adversarial Deduplication

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

A new logic for jointly representing hard and soft constraints

Jan Maly and Stefan Woltran

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

Cunjing Ge, Feifei Ma and Jian Zhang
Total: 5 presentations.