Sciweavers

159 search results - page 13 / 32
» aaai 1998
Sort
View
AAAI
1998
14 years 11 months ago
Bayesian Reasoning in an Abductive Mechanism for Argument Generation and Analysis
Our argumentation system, NAG, uses Bayesian networks in a user model and in a normative model to assemble and assess arguments which balance persuasiveness with normative correct...
Ingrid Zukerman, Richard McConachy, Kevin B. Korb
AAAI
1998
14 years 11 months ago
Boosting Combinatorial Search Through Randomization
Unpredictability in the running time of complete search procedures can often be explained by the phenomenon of "heavy-tailed cost distributions", meaning that at any tim...
Carla P. Gomes, Bart Selman, Henry A. Kautz
AAAI
2008
14 years 12 months ago
Prediction and Change Detection in Sequential Data for Interactive Applications
We consider the problems of sequential prediction and change detection that arise often in interactive applications: A semi-automatic predictor is applied to a time-series and is ...
Jun Zhou, Li Cheng, Walter F. Bischof
AAAI
1998
14 years 11 months ago
A Feature-Based Learning Method for Theorem Proving
Automatedreasoning or theorem proving essentially amounts to solving search problems. Despite significant progress in recent years theorem provers still have manyshortcomings. The...
Matthias Fuchs
AAAI
1998
14 years 11 months ago
A Motivational System for Regulating Human-Robot Interaction
This paper presents a motivational system for an autonomous robot which is designed to regulate human-robot interaction. The mode of social interaction is that of a caretaker-infa...
Cynthia Breazeal