Sciweavers

ECAI
2008
Springer
14 years 22 days ago
Diagnosis of Simple Temporal Networks
In many domains successful execution of plans requires careful monitoring and repair. Diagnosis of plan execution supports this process by identifying causes of plan failure. Most ...
Nico Roos, Cees Witteveen
ECAI
2008
Springer
14 years 22 days ago
Regression for Classical and Nondeterministic Planning
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
Jussi Rintanen
ECAI
2008
Springer
14 years 22 days ago
A hybrid approach to multi-agent decision-making
Abstract. In the aftermath of a large-scale disaster, agents’ decisions derive from self-interested (e.g. survival), common-good (e.g. victims’ rescue) and teamwork (e.g. fire...
Paulo Trigo, Helder Coelho
FLAIRS
2010
14 years 22 days ago
Progress Towards Effective Automated Reasoning with World Knowledge
There is a growing demand for automated reasoning with world knowledge. SPASS-XDB is an automated reasoning system that incorporates world knowledge from multiple external sources...
Geoff Sutcliffe, Martin Suda, Alexandra Teyssandie...
FLAIRS
2010
14 years 22 days ago
Affect and Mental Engagement: Towards Adaptability for Intelligent
This paper discusses novel research conducted to study the direct impact of learner's affective changes on the value of a well established EEG-mental engagement index. An acq...
Maher Chaouachi, Pierre Chalfoun, Imene Jraidi, Cl...
FLAIRS
2010
14 years 22 days ago
Problem Solving by English Learners and English Primary Students in an Algebra Readiness ITS
Problem solving was compared for English Learners and English Primary students who had used AnimalWatch, an algebra-readiness ITS. Data records for word problems solved by student...
Federico Cirett, Carole R. Beal
FLAIRS
2010
14 years 22 days ago
Assumption-Based Reasoning for Multiagent Case-Based Recommender Systems
Recommender systems (RSs) are popular tools dealing with information overload problems in eCommerce Web sites. RSs match user preferences with item representations and recommend t...
Fabiana Lorenzi, Francesco Ricci, Mara Abel, Ana L...
EVOW
2010
Springer
14 years 22 days ago
Heuristic and Exact Methods for the Discrete (r |p)-Centroid Problem
Ekaterina Alekseeva, Nina Kochetova, Yury Kochetov...
EVOW
2010
Springer
14 years 22 days ago
Evolving a Ms. PacMan Controller Using Grammatical Evolution
In this paper we propose an evolutionary approach capable of successfully combining rules to play the popular video game, Ms. PacMan. In particular we focus our attention on the be...
Edgar Galván López, John Mark Swaffo...
CP
2009
Springer
14 years 22 days ago
Conflict Resolution
Konstantin Korovin, Nestan Tsiskaridze, Andrei Vor...