Sciweavers

179 search results - page 9 / 36
» MINERVA - A Dynamic Logic Programming Agent Architecture
Sort
View
ARGMAS
2007
Springer
14 years 1 months ago
Defeasible Argumentation Support for an Extended BDI Architecture
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
Nicolás D. Rotstein, Alejandro Javier Garc&...
JAPLL
2007
78views more  JAPLL 2007»
13 years 7 months ago
Execution architectures for program algebra
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
Jan A. Bergstra, Alban Ponse
APPINF
2003
13 years 9 months ago
Towards Modelling an Intelligent Calendar Agent with LUPS
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
Juan Carlos Acosta Guadarrama, Mauricio Javier Oso...
SAC
2005
ACM
14 years 1 months ago
Multi-coordination of mobile agents: a model and a component-based architecture
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...
Giancarlo Fortino, Wilma Russo
CCIA
2008
Springer
13 years 9 months ago
Probabilistic Dynamic Belief Logic for Image and Reputation
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...
Isaac Pinyol, Jordi Sabater-Mir, Pilar Dellunde