Sciweavers

1532 search results - page 15 / 307
» The Symbol Grounding Problem
Sort
View
102
Voted
JSC
2000
57views more  JSC 2000»
15 years 3 months ago
Challenges of Symbolic Computation: My Favorite Open Problems
Erich Kaltofen
121
Voted
ICALP
2005
Springer
15 years 9 months ago
Idealized Algol with Ground Recursion, and DPDA Equivalence
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...
Andrzej S. Murawski, C.-H. Luke Ong, Igor Walukiew...
112
Voted
WSPI
2004
15 years 5 months ago
Grounding Knowledge of Engineering Applications in Systematic Terms
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...
Ying Liu 0002, Jin Yu
123
Voted
ATAL
2006
Springer
15 years 7 months ago
Deriving axioms across ontologies
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. ...
Dejing Dou, Drew V. McDermott