Sciweavers

913 search results - page 75 / 183
» Formal Agent Development: Framework to System
Sort
View
AAAI
2007
15 years 6 months ago
Acquiring Visibly Intelligent Behavior with Example-Guided Neuroevolution
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
Bobby D. Bryant, Risto Miikkulainen
WICSA
2008
15 years 5 months ago
A Modifiable Agent-Based Software Architecture for Intelligent Virtual Environments for Training
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
Gonzalo Méndez, Angélica de Antonio
157
Voted
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 9 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
142
Voted
OTM
2005
Springer
15 years 9 months ago
Semantics of Agent-Based Service Delegation and Alignment
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
Herman Balsters, G. B. Huitema, Nicolae B. Szirbik
EPIA
2001
Springer
15 years 8 months ago
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...