335 search results - page 19 / 67 » KRRT: Knowledge Representation and Reasoning Tutor System |
IJCAI
1989
14 years 10 months ago
1989
The difficulty of maintaining very large software systems is becoming more widely acknowledged. One of the primary problems is the need to access information about a complex and e...
WSPI
2004
14 years 11 months ago
2004
Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and ...
AAAI
1993
14 years 11 months ago
1993
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...
BMVC
1996
14 years 11 months ago
1996
This paper describes the continuing development of a system for tracking multiple man made objects, (typically vehicles) moving in a natural open world scene, where the detected m...
EACL
2003
ACL Anthology
14 years 11 months ago
2003
ACL Anthology
The main aim of this project is to explore, develop and evaluate the contribution of language technologies to the development of WEBCOOP, a system that provides intelligent Cooper...