3729 search results - page 7 / 746 » On Formal Modeling of Agent Computations |
ICAART
2009
INSTICC
14 years 9 months ago
2009
INSTICC
105
click to vote
APIN
2006
14 years 11 months ago
2006
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
CONTEXT
2007
Springer
15 years 5 months ago
2007
Springer
Informal notions of context often imply much more than that captured in many computational formalisms of it. The view presented in this paper, built on our understanding of designi...
110
click to vote
ATAL
1999
Springer
15 years 4 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...