Sciweavers

58 search results - page 6 / 12
» kr 2010
Sort
View
KR
2010
Springer
15 years 2 months ago
A Characterization of Optimality Criteria for Decision Making under Complete Ignorance
In this paper we present a model for decision making under complete ignorance. By complete ignorance it is meant that all that is known is the set of possible consequences associa...
Ramzi Ben Larbi, Sébastien Konieczny, Pierr...
KR
2010
Springer
15 years 2 months ago
From Preference Logics to Preference Languages, and Back
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
Meghyn Bienvenu, Jérôme Lang, Nic Wil...
KR
2010
Springer
15 years 2 months ago
New Advances in Sequential Diagnosis
Sequential diagnosis takes measurements of an abnormal system to identify faulty components, where the goal is to reduce the diagnostic cost, defined here as the number of measur...
Sajjad Ahmed Siddiqi, Jinbo Huang
KR
2010
Springer
15 years 2 months ago
Query and Predicate Emptiness in Description Logics
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank...
KR
2010
Springer
15 years 2 months ago
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
Reinhard Pichler, Stefan Rümmele, Stefan Szei...