642 search results - page 104 / 129 » A Semantic Future for AI |
130
click to vote
IJCAI
2003
15 years 3 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
121
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
119
Voted
ICMI
2005
Springer
15 years 7 months ago
2005
Springer
This article presents a User Interface (UI) framework for multimodal interactions targeted at immersive virtual environments. Its configurable input and gesture processing compon...
126
click to vote
ILP
2005
Springer
15 years 7 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
110
click to vote
DBPL
1993
Springer
15 years 6 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...