• Aucun résultat trouvé

Preface

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Preface"

Copied!
4
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Preface

This volume contains the papers presented at PRUV 2014: First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness held on July 22-23, 2014 in Vienna.

There were 13 submissions. Each submission was reviewed by two program committee members. The committee decided to accept 12 papers.

The main goal of PRUV is to bring together the different communities work- ing with logical formalisms for representing and reasoning about preferences, un- certainty, and vagueness. Together with the contributed publications, the work- shop had invited talks and a demo session, for showcasing existing tools.

We want to thank all the authors, members of the Programme Committee, and external reviewers. Their effort was the cause of the success of PRUV 2014.

We hope that this workshop is only the first step towards a continued series of events.

June 11, 2014 Dresden

Thomas Lukasiewicz Rafael Pe˜naloza Anni-Yasmin Turhan

v

(2)

Table of Contents

Multi-Attribute Decision Making using Weighted Description Logics. . . 1 Erman Acar and Christian Meilicke

Learning Preferences for Collaboration. . . 15 Eva Armengol

In Which Sense Is Fuzzy Logic a Logic for Vagueness?. . . 26 Libor Behounek

Generation of Parametrically Uniform Knowledge Bases in a Relational

Probabilistic Logic with Maximum Entropy Semantics. . . 39 Christoph Beierle, Markus H¨ohnerbach and Marcus Marto

Many-valued Horn Logic is Hard. . . 52 Stefan Borgwardt, Marco Cerami and Rafael Pe˜naloza

Towards a Logic of Dilation . . . 59 Arina Britz and Ivan Varzinczak

Computing k-Rank Answers with Ontological CP-Nets. . . 74 Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Ger- ardo Simari and Oana Tifrea-Marciuska

Reasoning Under Belief Uncertainty in DL Lite N bool Using Finite

Models . . . 88 Ala Djeddai and Hassina Seridi

Similarity-based Relaxed Instance Queries in EL++. . . 89 Andreas Ecke

Stable Models of Fuzzy Propositional Formulas . . . 102 Joohyung Lee and Yi Wang

Answering Ontological Ranking Queries Based on Subjective Reports. . . . 115 Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu and Gerardo Simari

Resolution and Clause Learning for Multi-Valued CNF Formulas. . . 129 David Mitchell

vi

(3)

Program Committee

Nathalie Bertrand

Fernando Bobillo University of Zaragoza Felix Bou University of Barcelona (UB) Marco Cerami Palack´y University in Olomouc Simona Colucci Universit`a della Tuscia

Fabio Gagliardi Cozman Universidade de Sao Paulo

C. Maria Keet Department of Computer Science, University of Cape Town, South Africa

Angelika Kimmig KU Leuven Pavel Klinov University of Ulm

Beata Konikowska Institute of Computer Science Polish Academy of Sciences

Thomas Lukasiewicz

Maria Vanina Martinez University of Oxford

Ozg¨¨ ur L¨utf¨u Oezcep Institute for Softwaresystems, Hamburg University of Technology

Rafael Penaloza TU Dresden Steven Schockaert Cardiff University

Giorgos Stoilos National Technical University of Athens (NTUA) Anni-Yasmin Turhan

vii

(4)

Additional Reviewers

C

Ceylan, Ismail Ilkan D

Deagustini, Cristhian Ariel David

viii

Références

Télécharger maintenant ( PDF - 4 Page - 71.30 KB )

Documents relatifs

Preface: First International Workshop on Patent Mining and Its Applications (IPaMin 2014)

Due to the nature of patent documents, innovative approaches need to be taken for automatic analysis of patents and in general for big data analytics of scientific

Preface

This volume contains the papers presented at LANMR 2014: 9th Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2014 held on November 5–7, 2014

Preface

This volume contains the papers presented at CS&P 2014: 23th International Workshop on Concurrency, Specification and Programming held on September 28 - October 1, 2014

Preface

This document contains the proceedings of the 2nd International Workshop on Eye Tracking for Spatial Research (ET4S 2014), held on September 23, 2014 in Vienna, Austria,

Case-Based Reasoning and Deep Learning Workshop - Preface

The potentials of Deep Learning for CBR include improvement in knowledge aggregation and feature extraction for case representation, efficient indexing and retrieval architectures

Preface

This volume contains the proceedings of the Second International Workshop on Au- tomated Reasoning in Quantified Non-Classical Logics (ARQNL 2016), held July 1st, 2016, in

Preface

This volume contains the papers presented at the Third International Workshop on Experimental Economics and Machine Learning held on July 18, 2016 at the National Research

Preface

This volume contains the papers presented at the 3rd International Workshop on Concept Discovery in Unstructured Data (CDUD 2016) held on July 18, 2018 at the National