1016 search results - page 127 / 204 » Knowledge Representation Requirements for Intelligent Tutori... |
198
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
154
click to vote
AAAI
1992
15 years 7 months ago
1992
In this paper we show how a natural language system can learn to find the antecedents of relative pronouns. We use a well-known conceptual clustering system to create a case-based...
168
click to vote
AAAI
2006
15 years 7 months ago
2006
We summarize the continuous thread of research we have conducted over the past thirty years on human-computer collaboration. This research reflects many of the themes and issues i...
192
click to vote
TABLEAUX
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
150
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...