Sciweavers

3481 search results - page 24 / 697
» Higher-Order Logic Programming as Constraint Logic Programmi...
Sort
View
COOPIS
2004
IEEE
13 years 11 months ago
CLP(Flex): Constraint Logic Programming Applied to XML Processing
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...
Jorge Coelho, Mário Florido
ACL
1998
13 years 9 months ago
Learning Constraint Grammar-style Disambiguation Rules using Inductive Logic Programming
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...
Nikolaj Lindberg, Martin Eineborg
ICLP
1989
Springer
13 years 11 months ago
Constraint Hierarchies and Logic Programming
Alan Borning, Michael J. Maher, Amy Martindale, Mo...