135
Voted
AI
2005
Springer
15 years 11 days 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...
96
Voted
AI
2005
Springer
15 years 11 days 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...
63
Voted
AI
2005
Springer
15 years 11 days ago
2005
Springer
72
Voted
AI
2005
Springer
15 years 11 days ago
2005
Springer
103
Voted
AI
2005
Springer
15 years 11 days 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...
62
Voted
AI
2005
Springer
15 years 11 days ago
2005
Springer
AI
2005
Springer
15 years 11 days ago
2005
Springer
76
Voted
AI
2005
Springer
15 years 11 days ago
2005
Springer
AI
2005
Springer
15 years 11 days 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...
82
Voted
AI
2005
Springer
15 years 11 days 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 ...