ECAI
2006
Springer
14 years 1 months ago
2006
Springer
Most new words, or neologisms, bubble beneath the surface of widespread usage for some time, perhaps even years, before gaining acceptance in conventional print dictionaries [1]. A...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
We use a lexicographical preference order on the problem space to combine solution synthesis with conflict learning. Given two preferred solutions of two subproblems, we can either...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
In recent times, information presentation has evolved towards sophisticated approaches that involve multi-modal aspects and character-based mediation. This paper presents a novel ...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In this paper, we show that the optimization of density forecasting models for regression in machine learning can be formulated as a multi-objective problem. We describe ...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group ...