838 search results - page 165 / 168 » From Natural Language to Formal Proof Goal |
152
click to vote
NDQA
2003
15 years 7 months ago
2003
Research on Question Answering has produced an arsenal of useful techniques for detecting answers that are explicitly present in the text of a collection of documents. To move bey...
162
click to vote
AAAI
1994
15 years 7 months ago
1994
Large amounts of low- to medium-quality English texts are now being produced by machine translation (MT) systems, optical character readers (OCR), and non-native speakers of Engli...
194
click to vote
ICTAI
2008
IEEE
16 years 13 days ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
187
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
169
click to vote
JMLR
2010
15 years 24 days ago
2010
: This review presents empirical researchers with recent advances in causal inference, and stresses the paradigmatic shifts that must be undertaken in moving from traditional stati...