PRUV PRUV 2018 Proceedings: Author Index

PRUV PRUV 2018 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Author Index Keyword Index

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

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