626 search results - page 3 / 126 » The Automatic Interpretation of Nominalizations |
ESOP
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem prover. It provides a proving infrastructure for reasoning about programming language calculi in...
FUZZIEEE
2007
IEEE
14 years 1 months ago
2007
IEEE
— The application of Qualitative Reasoning to Learning Algorithms can provide these models with the capability of automate common-sense and expert reasoning. Learning algorithms ...
AIM
2004
13 years 6 months ago
2004
Satellite domains are becoming a fashionable area of research within the AI community due to the complexity of the problems that these domains need to solve. With the current US a...
IJCAI
1997
13 years 8 months ago
1997
From the analysis of naturally occurring texts we obtained evidence for the systematic interaction between nominal anaphora and metonymies. This leads us to postulate an integrate...
IQ
2007
13 years 8 months ago
2007
: Sufficiently high data quality is crucial for almost every application. Nonetheless, data quality issues are nearly omnipresent. The reasons for poor quality cannot simply be bla...