Sciweavers

JAR
2008
77views more  JAR 2008»
14 years 8 months ago
Translating Higher-Order Clauses to First-Order Clauses
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
Jia Meng, Lawrence C. Paulson
ACL
1998
14 years 10 months ago
Robust Pronoun Resolution with Limited Knowledge
Most traditional approaches to anaphora resolution rely heavily on linguistic and domain knowledge. One of the disadvantages of developing a knowledgebased system, however, is tha...
Ruslan Mitkov