Sciweavers

317 search results - page 27 / 64
» Model for Dialogue between Informational Agents
Sort
View
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
14 years 2 months ago
Model Checking on Trees with Path Equivalences
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
AIIA
2007
Springer
13 years 10 months ago
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems
Abstract. The paper discusses a distributed approach for monitoring and diagnosing the execution of a plan where concurrent actions are performed by a team of cooperating agents. T...
Roberto Micalizio, Pietro Torasso
HICSS
2003
IEEE
202views Biometrics» more  HICSS 2003»
14 years 1 months ago
Automated Coaching of Collaboration Based on Workspace Analysis: Evaluation and Implications for Future Learning Environments
This paper describes the design and evaluation of COLER, a computer mediated learning environment that includes a software coach to help students collaborate while solving Entity ...
María de los Angeles Constantino-Gonz&aacut...
LWA
2008
13 years 10 months ago
Learning to Cope with Critical Situations - An Agent based Approach
How does someone react when he faces a critical situation in his life? In this paper we present an initial initial implementation architecture based on a simulation model described...
Régis Newo, Klaus-Dieter Althoff
IDEAL
2000
Springer
14 years 7 days ago
Learning of Virtual Dealers in an Artificial Market: Comparison with Interview Data
Abstract. In this study we used a new agent-based approach, an artificial market approach, to analyze the ways that dealers process the information in financial news. We compared b...
Kiyoshi Izumi, Kazuhiro Ueda