838 search results - page 54 / 168 » From Natural Language to Formal Proof Goal |
301
click to vote
Book
"The goal of this book is to teach you to think like a computer scientist. I like the way computer scientists think because they combine some of the best features of Mathemati...
182
click to vote
FCA
2005
Springer
15 years 11 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
133
click to vote
EACL
2003
ACL Anthology
15 years 7 months ago
2003
ACL Anthology
This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we prese...
145
click to vote
FINTAL
2006
15 years 9 months ago
2006
This paper addresses a problem of natural language text alignment, from a humanities discipline called textual genetic criticism where different text versions must be compared. The...
150
click to vote
ICMI
2004
Springer
15 years 11 months ago
2004
Springer
When talking about spatial domains, humans frequently accompany their explanations with iconic gestures to depict what they are referring to. For example, when giving directions, ...