Sciweavers

646 search results - page 97 / 130
» Architecture for an Artificial Immune System
Sort
View
ATAL
2009
Springer
16 years 26 days ago
A virtual laboratory for studying long-term relationships between humans and virtual agents
Longitudinal studies of human-virtual agent interaction are expensive and time consuming to conduct. We present a new concept and tool for conducting such studies—the virtual la...
Timothy W. Bickmore, Daniel Schulman
TPHOL
2007
IEEE
16 years 16 days ago
Building Formal Method Tools in the Isabelle/Isar Framework
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
Makarius Wenzel, Burkhart Wolff
CEEMAS
2007
Springer
16 years 13 days ago
Simulating a Human Cooperative Problem Solving
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
Alexandre Pauchet, Amal El Fallah-Seghrouchni, Nat...
EWCBR
2004
Springer
15 years 11 months ago
Knowledge-Intensive Case-Based Reasoning in CREEK
Knowledge-intensive CBR assumes that cases are enriched with general domain knowledge. In CREEK, there is a very strong coupling between cases and general domain knowledge, in that...
Agnar Aamodt
EWCBR
2004
Springer
15 years 11 months ago
Dialogue Management for Conversational Case-Based Reasoning
Two key objectives of conversational case-based reasoning (CCBR) systems are (1) eliciting case facts in a manner that minimizes the user’s burden in terms of resources such as t...
Karl Branting, James C. Lester, Bradford W. Mott