149
click to vote
AMAI
15 years 2 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...
144
click to vote
AMAI
15 years 7 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...
142
Voted
AMAI
15 years 2 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...
142
Voted
AMAI
15 years 7 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...
135
click to vote
AMAI
15 years 7 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