AI
2005
Springer
13 years 7 months ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
AI
2005
Springer
13 years 7 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
AI
2005
Springer
13 years 7 months ago
2005
Springer
AI
2005
Springer
13 years 7 months ago
2005
Springer
AI
2005
Springer
13 years 7 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 7 months ago
2005
Springer
AI
2005
Springer
13 years 7 months ago
2005
Springer
AI
2005
Springer
13 years 7 months ago
2005
Springer
AI
2005
Springer
13 years 7 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 7 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 ...