Sciweavers

2704 search results - page 263 / 541
» Agent Development with Jackal
Sort
View
AAAI
2006
15 years 8 months ago
Constraint-Based Random Stimuli Generation for Hardware Verification
We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation,...
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz...
AAMAS
2005
Springer
15 years 6 months ago
Evaluating a Computational Model of Emotion
Spurred by a range of potential applications, there has been a growing body of research in computational models of human emotion. To advance the development of these models, it is...
Jonathan Gratch, Stacy Marsella
JAIR
2007
127views more  JAIR 2007»
15 years 6 months ago
Learning Symbolic Models of Stochastic Domains
In this article, we work towards the goal of developing agents that can learn to act in complex worlds. We develop a a new probabilistic planning rule representation to compactly ...
Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack ...
SELMAS
2004
Springer
16 years 2 hour ago
Integrating Free-Flow Architectures with Role Models Based on Statecharts
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Danny Weyns, Elke Steegmans, Tom Holvoet
AAAI
2007
15 years 9 months ago
Integrated Introspective Case-Based Reasoning for Intelligent Tutoring Systems
Many intelligent tutoring systems (ITSs) have been developed, deployed, assessed, and proven to facilitate learning. However, most of these systems do not generally adapt to new c...
Leen-Kiat Soh