3481 search results - page 370 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
133
click to vote
CATS
2006
15 years 6 months ago
2006
In this paper, we study the formalization of one-pass call-by-value CPS compilation using higher-order abstract syntax. In particular, we verify mechanically that the source progr...
166
click to vote
CLIMA
2006
15 years 6 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
134
Voted
FLAIRS
2001
15 years 6 months ago
2001
We introduce the graph-based relational concept learner SubdueCL. We start with a brief description of other graph-based learning systems: the Galois lattice, Conceptual Graphs, a...
148
Voted
JFPLC
2000
15 years 6 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
163
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present a method for semantic annotation of texts, which is based on a deep linguistic analysis (DLA) and Inductive Logic Programming (ILP). The combination of DLA...