Sciweavers

1413 search results - page 101 / 283
» Bisimilarity of Open Terms
Sort
View
ATAL
2006
Springer
15 years 10 months ago
Towards formal model of adversarial action in multi-agent systems
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
Michal Pechoucek, Jan Tozicka, Martin Rehák
ATAL
2006
Springer
15 years 10 months ago
An agent based general solution model for the course timetabling problem
This paper proposes a general solution model using agent technology in order to solve two critical open issues in the course timetabling problem: application-specific issues and d...
Yan Yang, Raman Paranjape, Luigi Benedicenti
CEEMAS
2003
Springer
15 years 10 months ago
RIO: Roles, Interactions and Organizations
Abstract. The notions of role and organization have often been emphasized in several agent oriented methodologies. Sadly, the notion of interaction has seldom been reified in these...
Philippe Mathieu, Jean-Christophe Routier, Yann Se...
AISB
2008
Springer
15 years 8 months ago
Substitution for Fraenkel-Mostowski foundations
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
Murdoch Gabbay, Michael Gabbay
ATAL
2008
Springer
15 years 8 months ago
Combining Job and Team Selection Heuristics
In open markets and within business and government organizations, selfish agents often face the question of what tasks to work on, and what partners to work with. Optimal solutions...
Chris L. D. Jones, K. Suzanne Barber