838 search results - page 27 / 168 » From Natural Language to Formal Proof Goal |
TABLEAUX
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
MONTEREY
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
EACL
1989
ACL Anthology
13 years 9 months ago
1989
ACL Anthology
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...
IUI
2010
ACM
14 years 5 months ago
2010
ACM
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...
EACL
2003
ACL Anthology
13 years 10 months ago
2003
ACL Anthology
This paper presents a formalization of automatic grammar acquisition that is based on lexicalized grammar formalisms (e.g. LTAG and HPSG). We state the conditions for the consiste...