123 search results - page 11 / 25 » Symbol Grounding and its Implications for Artificial Intelli... |
ITS
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes a study in which individual learner models were built for students and presented to them with a choice of view. Students found it useful, and not confusing to ...
WOLLIC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
AMAI
2008
Springer
13 years 8 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
ECAI
1992
Springer
14 years 21 days ago
1992
Springer
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...
AMAI
2007
Springer
13 years 8 months ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...