123 search results - page 11 / 25 » Symbol Grounding and its Implications for Artificial Intelli... |
ITS
2004
Springer
15 years 5 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
15 years 6 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...
115
click to vote
AMAI
2008
Springer
14 years 12 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
15 years 3 months 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. ...
102
click to vote
AMAI
2007
Springer
14 years 12 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...