ECAI
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. We present Minion, a new constraint solver. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits....
ECAI
2006
Springer
14 years 3 months ago
2006
Springer
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
ECAI
2006
Springer
14 years 3 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
ECAI
2006
Springer
14 years 3 months ago
2006
Springer
ECAI
2006
Springer
14 years 3 months ago
2006
Springer
ECAI
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. In this article we present the framework of Possibilistic Influence Diagrams (PID), which allow to model in a compact form problems of sequential decision making under un...
ECAI
2006
Springer
14 years 3 months ago
2006
Springer
ECAI
2006
Springer
14 years 3 months ago
2006
Springer
Some of the most successful algorithms for satisfiability, such as Walksat, are based on random walks. Similarly, local search algorithms for solving constraint optimization proble...
ECAI
2006
Springer
14 years 3 months ago
2006
Springer
ECAI
2006
Springer
14 years 3 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...