FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Thomas Lukasiewicz, Rafael Peñaloza and Anni-Yasmin Turhan

Authors	Title	Paper	Talk
Jan Maly and Stefan Woltran	A new logic for jointly representing hard and soft constraints		Jul 19 12:00
Alireza Ensan, Eugenia Ternovska and Heng Liu	A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems		Jul 19 16:00
Nico Potyka	Measuring Disagreement among Knowledge Bases		Jul 19 11:00
Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang and Xutong Ma	A New Probabilistic Algorithm for Approximate Model Counting		Jul 19 16:30
José Paredes, Maria Vanina Martinez, Gerardo Simari and Marcelo A. Falappa	Leveraging Probabilistic Existential Rules for Adversarial Deduplication		Jul 19 17:00
Aouatef Rouahi, Kais Ben Salah and Khaled Ghedira	Evidential Group Decision Making Model with Belief-Based Preferences		Jul 19 11:30
Laura Giordano and Valentina Gliozzi	Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure		Jul 19 15:10
Cunjing Ge, Feifei Ma and Jian Zhang	VolCE: An Efficient Tool for Solving #SMT(LA) Problems		Jul 19 17:30

Disclaimer | Powered by EasyChair Smart Program