3729 search results - page 8 / 746 » On Formal Modeling of Agent Computations |
AOSE
2003
Springer
15 years 4 months ago
2003
Springer
101
click to vote
KI
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
DSRT
2005
IEEE
15 years 5 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
94
Voted
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
DEXA
2000
Springer
15 years 4 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...