838 search results - page 10 / 168 » From Natural Language to Formal Proof Goal |
COSIT
2007
Springer
13 years 11 months ago
2007
Springer
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...
INLG
2010
Springer
13 years 5 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
IUI
2010
ACM
14 years 4 months ago
2010
ACM
One of the critical problems in natural language interfaces is the discordance between the expressions covered by the interface and those by the knowledge base. In the graph-based...
EMNLP
2008
13 years 8 months ago
2008
In this paper, we present an algorithm for learning a generative model of natural language sentences together with their formal meaning representations with hierarchical structure...