4142 search results - page 600 / 829 » Trusting an Information Agent |
168
click to vote
IJCAI
2001
15 years 7 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
167
click to vote
SCAI
2001
15 years 7 months ago
2001
In this paper we argue that RoboCup is a useful tool for the teaching of AI in undergraduate education. We provide case studies, from two Swedish universities, of how RoboCup based...
201
click to vote
ISTA
2003
15 years 7 months ago
2003
: Reported is the methodology of the semantic transformation of an initial user’s search query in the form of key words or key phrases to the resulting query composed of the rele...
191
click to vote
AAAI
1998
15 years 7 months ago
1998
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
131
click to vote
AAAI
1998
15 years 7 months ago
1998
The typical difficulty of various NP-hard problems varies with simple parameters describing their structure. This behavior is largely independent of the search algorithm, but depe...