188
click to vote
AMAI
15 years 11 months ago
2004 Springer 
This paper presents new look-ahead schemes for backtracking search when solving constraint satisfaction problems. The look-ahead schemes compute a heuristic for value ordering and...
184
click to vote
AMAI
15 years 5 months ago
2004 Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
178
click to vote
AMAI
15 years 5 months ago
2004 Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
178
click to vote
AMAI
15 years 11 months ago
2004 Springer
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...
174
click to vote
AMAI
15 years 11 months ago
2004 Springer 
This paper studies the relative proof complexity of variations of a tableau method for Boolean circuit satisfiability checking obtained by restricting the use of the cut rule in s...
|
Artificial Intelligence