PRUV 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A C D F H I K L M O P R S T U V

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