Sciweavers

6087 search results - page 654 / 1218
» Knowledge discovery methods
Sort
View
AIED
2007
Springer
16 years 1 months ago
Porting an Intelligent Tutoring System across Domains
One possible approach to reducing the cost of developing an intelligent tutoring system (ITS) is to reuse the components of an existing ITS. We used this approach to develop an And...
Min Chi, Kurt VanLehn
AIMS
2007
Springer
16 years 1 months ago
Estimating Reliability of Conditional Promises
Using conditional promises, the reliability of promises can be measured without considering the reliability of the whole agent, by defining notions of when conditions operate and ...
Alva L. Couch, Hengky Susanto, Marc Chiarini
ATAL
2007
Springer
16 years 1 months ago
A framework for reasoning about rational agents
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
Wojciech Jamroga, Nils Bulling
ESOP
2007
Springer
16 years 1 months ago
Cost Analysis of Java Bytecode
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
KI
2007
Springer
16 years 1 months ago
Relational Exploration - Reconciling Plato and Aristotle
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
Sebastian Rudolph