VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program