1131 search results - page 113 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
114
Voted
AGP
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
123
Voted
ICML
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper presents a kernel for learning from ordered hypergraphs, a formalization that captures relational data as used in Inductive Logic Programming (ILP). The kernel generaliz...
108
click to vote
NAACL
2007
15 years 2 months ago
2007
Previous work on discourse parsing has mostly relied on surface syntactic and lexical features; the use of semantics is limited to shallow semantics. The goal of this thesis is to...
109
click to vote
AAAI
1994
15 years 1 months ago
1994
or untagged treebanks. ' When trained on an untagged This paper presents a method for constructing deterministic Prolog parsers from corpora of parsed sentences. Our approach ...
95
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...