446 search results - page 17 / 90 » Building Explainable Artificial Intelligence Systems |
156
click to vote
EVOW
2005
Springer
15 years 11 months ago
2005
Springer
Applying evolutionary methods to the generation of music and art is a relatively new field of enquiry. While there have been some important developments, it might be argued that to...
134
click to vote
AI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In recent years much research has been conducted on building Thesauri and enhancing them with new terms and relationships. I propose to build and evaluate a system for au...
149
click to vote
TPHOL
2007
IEEE
16 years 4 days ago
2007
IEEE
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,...
166
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
This paper describes a novel method for explaining Bayesian network (BN) inference when the network is modeling a population of conditionally independent agents, each of which is m...
147
click to vote
AIED
2007
Springer
16 years 1 days ago
2007
Springer
One goal of our project is to create a dialogue agent that can behave as a student peer and collaborate with a human student to explain or diagnose data structures programs. A huma...