PRUV 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D E H L M P S T V W

A
Acar, Erman	Multi-Attribute Decision Making using Weighted Description Logics (PDF, talk)
Armengol, Eva	Learning Preferences for Collaboration (PDF, talk)
B
Behounek, Libor	In Which Sense Is Fuzzy Logic a Logic for Vagueness? (PDF, talk)
Beierle, Christoph	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics (PDF, talk)
Borgwardt, Stefan	Many-valued Horn Logic is Hard (PDF, talk)
Britz, Arina	Towards a Logic of Dilation (PDF, talk)
C
Cerami, Marco	Many-valued Horn Logic is Hard (PDF, talk)
D
Di Noia, Tommaso	Computing k-Rank Answers with Ontological CP-Nets (PDF, talk)
E
Ecke, Andreas	Similarity-based Relaxed Instance Queries in EL++ (PDF, talk)
H
Höhnerbach, Markus	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics (PDF, talk)
L
Lee, Joohyung	Stable Models of Fuzzy Propositional Formulas (PDF, talk)
Lukasiewicz, Thomas	Computing k-Rank Answers with Ontological CP-Nets (PDF, talk) Answering Ontological Ranking Queries Based on Subjective Reports (PDF, talk)
M
Martinez, Maria Vanina	Computing k-Rank Answers with Ontological CP-Nets (PDF, talk) Answering Ontological Ranking Queries Based on Subjective Reports (PDF, talk)
Marto, Marcus	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics (PDF, talk)
Meilicke, Christian	Multi-Attribute Decision Making using Weighted Description Logics (PDF, talk)
Mitchell, David	Resolution and Clause Learning for Multi-Valued CNF Formulas (PDF, talk)
Molinaro, Cristian	Answering Ontological Ranking Queries Based on Subjective Reports (PDF, talk)
P
Peñaloza, Rafael	Many-valued Horn Logic is Hard (PDF, talk)
Predoiu, Livia	Answering Ontological Ranking Queries Based on Subjective Reports (PDF, talk)
S
Simari, Gerardo	Computing k-Rank Answers with Ontological CP-Nets (PDF, talk) Answering Ontological Ranking Queries Based on Subjective Reports (PDF, talk)
T
Tifrea-Marciuska, Oana	Computing k-Rank Answers with Ontological CP-Nets (PDF, talk)
V
Varzinczak, Ivan	Towards a Logic of Dilation (PDF, talk)
W
Wang, Yi	Stable Models of Fuzzy Propositional Formulas (PDF, talk)