838 search results - page 43 / 168 » From Natural Language to Formal Proof Goal |
247
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
152
click to vote
LACL
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...
210
Voted
FLAIRS
2006
15 years 8 months ago
2006
Extensible Dependency Grammar (XDG) is new, modular grammar formalism for natural language. An XDG analysis is a multi-dimensional dependency graph, where each dimension represent...
163
Voted
AAAI
2008
15 years 9 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
160
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...