Sciweavers

ECAI
2010
Springer
14 years 23 days ago
Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive
Abstract. Control engineering is a field of major industrial importance as it offers principles for engineering controllable physical devices, such as cell phones, television sets,...
Arjen Hommersom, Peter J. F. Lucas
ECAI
2010
Springer
14 years 23 days ago
Horn Belief Change: A Contraction Core
We show that Booth et al.'s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour thro...
Richard Booth, Thomas Meyer, Ivan José Varz...
ECAI
2010
Springer
14 years 23 days ago
Kernel Methods for Revealed Preference Analysis
In classical revealed preference analysis we are given a sequence of linear prices (i.e., additive over goods) and an agent's demand at each of the prices. The problem is to d...
Sébastien Lahaie
ECAI
2010
Springer
14 years 23 days ago
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
Davide Bresolin, Dario Della Monica, Valentin Gora...
ECAI
2010
Springer
14 years 23 days ago
Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods
We study the problem of fairly dividing a set of goods amongst a group of agents, when those agents have preferences that are ordinal relations over alternative bundles of goods (r...
Sylvain Bouveret, Ulle Endriss, Jérôm...
ECAI
2010
Springer
14 years 23 days ago
Semi-Automatic Revision of Formalized Knowledge
As the amount of available ontologies and their size grow, ontology reuse gains in importance. However, the online available formalized knowledge in many cases need a revision whic...
Nadejda Nikitina
ECAI
2010
Springer
14 years 23 days ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
ECAI
2010
Springer
14 years 23 days ago
Prediction of Attributes and Links in Temporal Social Networks
The analysis of social networks often assumes the time invariant scenario while in practice node attributes and links in such networks often evolve over time. In this paper, we pro...
Vladimir Ouzienko, Yuhong Guo, Zoran Obradovic
ECAI
2010
Springer
14 years 23 days ago
Extraction of Places Related to Flickr Tags
Geographic information systems use databases to map keywords to places. These databases are currently most often created by using a top-down approach based on the geographic defini...
Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden