AI
2005
Springer
13 years 4 months ago
2005
Springer
AI
2005
Springer
13 years 4 months ago
2005
Springer
AI
2005
Springer
13 years 4 months ago
2005
Springer
Following the pioneer work of Yokoo and colleagues on the ABT (asynchronous backtracking) algorithm, several ABT-based procedures have been proposed for solving distributed constr...
AI
2005
Springer
13 years 4 months ago
2005
Springer
AI
2005
Springer
13 years 4 months ago
2005
Springer
AI
2005
Springer
13 years 4 months ago
2005
Springer
AI
2005
Springer
13 years 4 months ago
2005
Springer
entation theory, Dung's abstract framework provides a unifying view of several alternative semantics based on the notion of extension. In this context, we propose a general r...
AI
2005
Springer
13 years 4 months ago
2005
Springer
We introduce a method for using images for word sense disambiguation, either alone, or in conjunction with traditional text based methods. The approach is based in recent work on ...
AI
2005
Springer
13 years 4 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
AI
2005
Springer
13 years 4 months ago
2005
Springer
Abstract. The protein family classification problem, which consists of determining the family memberships of given unknown protein sequences, is very important for a biologist for ...