3729 search results - page 59 / 746 » On Formal Modeling of Agent Computations |
ARTS
1999
Springer
15 years 4 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
CMSB
2003
Springer
15 years 5 months ago
2003
Springer
110
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
AAAI
1990
15 years 1 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...