681 search results - page 4 / 137 » Combining Theorem Proving with Natural Language Processing |
101
click to vote
IUI
2010
ACM
15 years 4 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
CICLING
2005
Springer
15 years 3 months ago
2005
Springer
67
Voted
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-t...
157
click to vote
CICLING
2011
Springer
14 years 1 months ago
2011
Springer
Wikipedia is an online encyclopedia which anyone can edit. While most edits are constructive, about 7% are acts of vandalism. Such behavior is characterized by modifications made ...
ISTA
2004
14 years 11 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...