1455 search results - page 60 / 291 » Programming in Logic with Constraints for Natural Language P... |
134
click to vote
PPDP
1999
Springer
15 years 7 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
109
click to vote
EACL
2006
ACL Anthology
15 years 4 months ago
2006
ACL Anthology
In this paper, we present a formalization of grammatical role labeling within the framework of Integer Linear Programming (ILP). We focus on the integration of subcategorization i...
121
click to vote
LICS
1989
IEEE
15 years 6 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
115
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
107
click to vote
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...