838 search results - page 144 / 168 » From Natural Language to Formal Proof Goal |
183
click to vote
CONCUR
2004
Springer
16 years 3 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
193
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...
196
Voted
TCS
2002
15 years 6 months ago
2002
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...
182
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In this paper we present the Infocious Web search engine [23]. Our goal in creating Infocious is to improve the way people find information on the Web by resolving ambiguities pre...
197
click to vote
AAAI
2004
15 years 8 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...