838 search results - page 46 / 168 » From Natural Language to Formal Proof Goal |
154
Voted
EACL
2009
ACL Anthology
16 years 6 months ago
2009
ACL Anthology
ion Benjamin Van Durme, Phillip Michalak and Lenhart K. Schubert Department of Computer Science University of Rochester Rochester, NY 14627, USA Existing work in the extraction of...
166
click to vote
IESA
2007
15 years 7 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
198
click to vote
EMNLP
2011
14 years 5 months ago
2011
Conversations provide rich opportunities for interactive, continuous learning. When something goes wrong, a system can ask for clarification, rewording, or otherwise redirect the...
160
click to vote
OOPSLA
2007
Springer
16 years 7 days ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
140
click to vote
FM
2009
Springer
16 years 20 days ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...