107
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
121
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Shaving algorithms, like singleton arc consistency (sac), are currently receiving much interest. They remove values which are not part of any solution. This paper proposes an effic...
127
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
112
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Most research works about ontology or schema matching are based on symmetric similarity measures. By transposing the association rules paradigm, we propose to use asymmet...
115
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents the syntax and semantics of a simplified version of a logic-based agent-oriented programming language to implement agents with emotions. Four types of...