Sciweavers

2903 search results - page 307 / 581
» On the univalence of an integral operator
Sort
View
ARGMAS
2009
Springer
16 years 1 months ago
A Generative Dialogue System for Arguing about Plans in Situation Calculus
Abstract. This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between b...
Alexandros Belesiotis, Michael Rovatsos, Iyad Rahw...
CSCWD
2009
Springer
16 years 1 months ago
Using Petri Nets to specify collaborative three dimensional interaction
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
Rafael Rieder, Marcio Sarroglia Pinho, Alberto Bar...
ESAW
2009
Springer
16 years 1 months ago
Programming Organization-Aware Agents
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
M. Birna van Riemsdijk, Koen V. Hindriks, Catholij...
IWANN
2009
Springer
16 years 1 months ago
TEMMAS: The Electricity Market Multi-Agent Simulator
—This paper describes a multi-agent based simulation (MABS) framework to construct an artificial electric power market populated with learning agents. The artificial market, na...
Paulo Trigo, Paulo Marques, Helder Coelho
IWINAC
2009
Springer
16 years 1 months ago
Brain Complexity: Analysis, Models and Limits of Understanding
Manifold initiatives try to utilize the operational principles of organisms and brains to develop alternative, biologically inspired computing paradigms. This paper reviews key fea...
Andreas Schierwagen