2225 search results - page 79 / 445 » Logical Structures in the Lexicon |
145
click to vote
LREC
2010
15 years 7 months ago
2010
India is a multilingual country where machine translation and cross lingual search are highly relevant problems. These problems require large resources- like wordnets and lexicons...
152
click to vote
AI
2005
Springer
15 years 5 months ago
2005
Springer
The current research presents a system that learns to understand object names, spatial relation terms and event descriptions from observing narrated action sequences. The system e...
159
click to vote
CADE
2001
Springer
16 years 5 months ago
2001
Springer
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...
176
click to vote
ICANN
2010
Springer
15 years 6 months ago
2010
Springer
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
151
Voted
ECCC
2010
15 years 5 months ago
2010
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show t...