3481 search results - page 24 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...
120
click to vote
ACL
1998
15 years 3 months ago
1998
This paper reports a pilot study, in which Constraint Grammar inspiredruleswere learnt using the Progol machine-learning system. Rules discarding faulty readings of ambiguously ta...
SAC
2006
ACM
15 years 7 months ago
2006
ACM
141
Voted
AGP
2010
IEEE
15 years 6 months ago
2010
IEEE
ICLP
1989
Springer
15 years 6 months ago
1989
Springer