1532 search results - page 15 / 307 » The Symbol Grounding Problem |
WG
2004
Springer
15 years 2 months ago
2004
Springer
JSC
2000
14 years 9 months ago
2000
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...
WSPI
2004
14 years 10 months ago
2004
In the main research of internet-computing enabled knowledge management, we use some of the most advanced research scenarios, arguing that we critically need a system approach to q...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Ontologies play a key role in agent communication and the emerging Semantic Web. Axioms are an important component of ontologies to describe the relationships among the concepts. ...