Sciweavers

3481 search results - page 24 / 697
» Higher-Order Logic Programming as Constraint Logic Programmi...
Sort
View
COOPIS
2004
IEEE
15 years 7 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
15 years 4 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
15 years 7 months ago
Constraint Hierarchies and Logic Programming
Alan Borning, Michael J. Maher, Amy Martindale, Mo...