3481 search results - page 24 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
COOPIS
2004
IEEE
15 years 1 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...
77
Voted
ACL
1998
14 years 11 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 3 months ago
2006
ACM
AGP
2010
IEEE
15 years 2 months ago
2010
IEEE
48
Voted
ICLP
1989
Springer
15 years 1 months ago
1989
Springer