681 search results - page 46 / 137 » Combining Theorem Proving with Natural Language Processing |
WWW
2006
ACM
15 years 10 months ago
2006
ACM
In this poster we present an approach to query answering over knowledge sources that makes use of different ontology management components within an application scenario of the BT...
LREC
2008
14 years 11 months ago
2008
The number and sizes of parallel corpora keep growing, which makes it necessary to have automatic methods of processing them: combining, checking and improving corpora quality, et...
MKM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
106
click to vote
TABLEAUX
1995
Springer
15 years 1 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...