Sciweavers

317 search results - page 27 / 64
» Model for Dialogue between Informational Agents
Sort
View
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
16 years 21 days 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
15 years 8 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»
15 years 12 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
15 years 8 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
15 years 10 months 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