Sciweavers

606 search results - page 79 / 122
» Analyzing learning concepts in intelligent tutoring systems
Sort
View
SIGCSE
2000
ACM
91views Education» more  SIGCSE 2000»
15 years 2 months ago
Machine learning in the liberal arts curriculum
Machine learning is typically considered a graduate-level course with an artificial intelligence course as a prerequisite. However, it does not need to be positioned this way, and...
Clare Bates Congdon
AAAI
1996
14 years 11 months ago
Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection
Truth maintenance systems provide caches of beliefs and inferences that support explanations and search. Traditionally, the cost of using a TMS is monotonic growth in the size of ...
John O. Everett, Kenneth D. Forbus
IJCAI
1997
14 years 11 months ago
High Performance ATP Systems by Combining Several AI Methods
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
Jörg Denzinger, Marc Fuchs, Matthias Fuchs
ECAI
2004
Springer
15 years 3 months ago
Combining Multiple Answers for Learning Mathematical Structures from Visual Observation
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...
Paulo Santos, Derek R. Magee, Anthony G. Cohn, Dav...
AAMAS
2002
Springer
14 years 9 months ago
The Implications of Philosophical Foundations for Knowledge Representation and Learning in Agents
Abstract. The purpose of this research is to show the relevance of philosophical theories to agent knowledge base (AKB) design, implementation, and behaviour. We will describe how ...
Nicholas Lacey, Mark Lee