Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B E F G K L M P R S T W Z

B
Ben Salah, Kais	Evidential Group Decision Making Model with Belief-Based Preferences
E
Ensan, Alireza	A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems
F
Falappa, Marcelo A.	Leveraging Probabilistic Existential Rules for Adversarial Deduplication
Finger, Marcelo	Quantitative Logic Reasoning -- Combining logical reasoning with probabilities and counting (invited talk)
G
Ge, Cunjing	A New Probabilistic Algorithm for Approximate Model Counting VolCE: An Efficient Tool for Solving #SMT(LA) Problems
Ghedira, Khaled	Evidential Group Decision Making Model with Belief-Based Preferences
Giordano, Laura	Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
Gliozzi, Valentina	Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
K
Korovin, Konstantin	An abstraction-refinement framework for automated reasoning -- a pragmatic approach (invited talk)
L
Liu, Heng	A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems
Liu, Tian	A New Probabilistic Algorithm for Approximate Model Counting
M
Ma, Feifei	A New Probabilistic Algorithm for Approximate Model Counting VolCE: An Efficient Tool for Solving #SMT(LA) Problems
Ma, Xutong	A New Probabilistic Algorithm for Approximate Model Counting
Maly, Jan	A new logic for jointly representing hard and soft constraints
Martinez, Maria Vanina	Leveraging Probabilistic Existential Rules for Adversarial Deduplication
P
Paredes, José	Leveraging Probabilistic Existential Rules for Adversarial Deduplication
Potyka, Nico	Measuring Disagreement among Knowledge Bases
R
Rouahi, Aouatef	Evidential Group Decision Making Model with Belief-Based Preferences
S
Simari, Gerardo	Leveraging Probabilistic Existential Rules for Adversarial Deduplication
T
Ternovska, Eugenia	A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems
Turhan, Anni-Yasmin	Welcome to PRUV
W
Woltran, Stefan	A new logic for jointly representing hard and soft constraints
Z
Zhang, Jian	A New Probabilistic Algorithm for Approximate Model Counting VolCE: An Efficient Tool for Solving #SMT(LA) Problems