10568 search results - page 82 / 2114 » Computer Intelligence and Formalization |
122
Voted
AUSAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
121
Voted
CP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...
144
Voted
AAAI
2007
15 years 4 months ago
2007
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....
118
click to vote
AIPS
2006
15 years 4 months ago
2006
We present an architecture that provides a robust, scalable and flexible software framework for planning and scheduling systems through the use of standardized industrial-strength...
122
Voted
ICTAI
2009
IEEE
15 years 9 days ago
2009
IEEE
We address the problem of merging qualitative constraints networks (QCNs). We point out a merging algorithm which computes a consistent QCN representing a global view of the input...