Sciweavers

4592 search results - page 685 / 919
» Framework for Studying Substitution
Sort
View
NMR
2004
Springer
14 years 4 months ago
Belief dynamics and defeasible argumentation in rational agents
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
Marcelo A. Falappa, Alejandro Javier García...
PPDP
2004
Springer
14 years 4 months ago
Nominal rewriting systems
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
Maribel Fernández, Murdoch Gabbay, Ian Mack...
PPSN
2004
Springer
14 years 4 months ago
Evolutionary Multi-agent Systems
In Multi-Agent learning, agents must learn to select actions that maximize their utility given the action choices of the other agents. Cooperative Coevolution offers a way to evol...
Pieter Jan't Hoen, Edwin D. de Jong
WER
2004
Springer
14 years 4 months ago
Towards Requirement Traceability in TROPOS
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
Andréa Castor, Rosa Pinto, Carla T. L. L. S...
DASFAA
2010
IEEE
168views Database» more  DASFAA 2010»
14 years 4 months ago
Temporal Top-k Search in Social Tagging Sites Using Multiple Social Networks
In social tagging sites, users are provided easy ways to create social networks, to post and share items like bookmarks, videos, photos and articles, along with comments and tags. ...
Wenyu Huo, Vassilis J. Tsotras