AI
2005
Springer
13 years 11 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 11 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 11 months ago
2005
Springer
AI
2005
Springer
13 years 11 months ago
2005
Springer
AI
2005
Springer
13 years 11 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 11 months ago
2005
Springer
AI
2005
Springer
13 years 11 months ago
2005
Springer
AI
2005
Springer
13 years 11 months ago
2005
Springer
AI
2005
Springer
13 years 11 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 11 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 ...