838 search results - page 104 / 168 » From Natural Language to Formal Proof Goal |
185
click to vote
AAAI
2007
15 years 8 months ago
2007
The ASKNet project uses a combination of NLP tools and spreading activation to transform natural language text into semantic knowledge networks. Network fragments are generated fr...
146
click to vote
ALT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to pot...
146
click to vote
LREC
2010
15 years 7 months ago
2010
A lot of research effort has been spent on the development of emotion theories and modeling, however, their suitability and applicability to expressions in human computer interact...
165
click to vote
CICLING
2005
Springer
15 years 11 months ago
2005
Springer
We are presenting a description of the UNL initiative based on the Universal Networking Language (UNL). This language was conceived to be the support of the multilingual communicat...
178
click to vote
NLDB
2007
Springer
16 years 8 days ago
2007
Springer
This work deals with determination of meaningful and terse cluster labels for News document clusters. We analyze a number of alternatives for selecting headlines and/or sentences o...