ECAI
2010
Springer
13 years 8 months ago
2010
Springer
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,...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
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...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
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...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
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...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
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...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
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...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
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...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
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...