VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
algorithms	Resolution and Clause Learning for Multi-Valued CNF Formulas
Answer Set Programming	Stable Models of Fuzzy Propositional Formulas
B
belief probability	A New DL‐Lite N Bool Probabilistic Extension Using Belief
C
Classification	Learning Preferences for Collaboration
Collaboration	Learning Preferences for Collaboration
complexity	Resolution and Clause Learning for Multi-Valued CNF Formulas Many-valued Horn Logic is Hard
concrete domains	Similarity-based Relaxed Instance Queries in EL++
Conjunctive query answering	Computing k-Rank Answers with Ontological CP-Nets
CP-nets	Computing k-Rank Answers with Ontological CP-Nets
D
Decision trees	Learning Preferences for Collaboration
Description Logics	Multi-Attribute Decision Making using Weighted Description Logics A New DL‐Lite N Bool Probabilistic Extension Using Belief
dilation	Towards a Logic of Dilation
DL Lite	A New DL‐Lite N Bool Probabilistic Extension Using Belief
F
Forgetting	Towards a Logic of Dilation
formal fuzzy logic	In Which Sense Is Fuzzy Logic a Logic for Vagueness?
fuzzy logic	Stable Models of Fuzzy Propositional Formulas Many-valued Horn Logic is Hard
fuzzy plurivaluationism	In Which Sense Is Fuzzy Logic a Logic for Vagueness?
H
Horn theories	Many-valued Horn Logic is Hard
I
indiscernibility	Towards a Logic of Dilation
K
knowledge base	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics
Knowledge Representation	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics
L
Learning preferences	Learning Preferences for Collaboration
M
machine learning	Learning Preferences for Collaboration
maximum entropy model	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics
Multi-Attribute Decision Making	Multi-Attribute Decision Making using Weighted Description Logics
Multi-Criteria Decision Making	Multi-Attribute Decision Making using Weighted Description Logics
Multi-valued logic	Resolution and Clause Learning for Multi-Valued CNF Formulas
O
Ontologies	Answering Ontological Ranking Queries Based on Subjective Reports
ontology	Multi-Attribute Decision Making using Weighted Description Logics
ontology languages	Computing k-Rank Answers with Ontological CP-Nets
P
parametric uniformity	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics
preferences	Answering Ontological Ranking Queries Based on Subjective Reports
probabilistic conditional	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics
probabilistic reasoning	A New DL‐Lite N Bool Probabilistic Extension Using Belief
R
ranking queries	Answering Ontological Ranking Queries Based on Subjective Reports
Regular formulas	Resolution and Clause Learning for Multi-Valued CNF Formulas
relational conditional	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics
relaxed instance queries	Similarity-based Relaxed Instance Queries in EL++
resolution	Resolution and Clause Learning for Multi-Valued CNF Formulas
rough sets	Towards a Logic of Dilation
S
satisfiability	Resolution and Clause Learning for Multi-Valued CNF Formulas
similarity measures	Similarity-based Relaxed Instance Queries in EL++
stable model semantics	Stable Models of Fuzzy Propositional Formulas
T
transformation system	Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics
U
uncertainty	A New DL‐Lite N Bool Probabilistic Extension Using Belief
Utility Theory	Multi-Attribute Decision Making using Weighted Description Logics
V
vagueness	In Which Sense Is Fuzzy Logic a Logic for Vagueness?

Disclaimer | Powered by EasyChair Smart Program