401 search results - page 64 / 81 » Genetic Programming Theory and Practice |
ACSC
2002
IEEE
14 years 15 days ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
ESOP
2001
Springer
14 years 16 hour ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
ATAL
2004
Springer
13 years 11 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
HCI
2007
13 years 9 months ago
2007
The hypothesis that happy team members are more cooperative than sad team members has become a popular presumption in social and applied psychology. The member negatively may affec...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
In POPL 2002, Petrank and Rawitz showed a universal result-finding optimal data placement is not only NP-hard but also impossible to approximate within a constant factor if P = NP...