Jorge Coelho, Mario Florido  Home/Search
Context
Related
| dcc.fc.up.pt/Pubs/TR0...dcc200406.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dei.isep.ipp.pt/~jcoelho/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 symbols. (Update)
Active bibliography (related documents): More All
0.5: Higher-order Lazy Narrowing Calculus: a Solver for.. - Ida, Marin, Suzuki (2001) (Correct)
0.2: Type-based {XML} Processing in Logic Programming - Coelho, Florido (2003) (Correct)
0.2: Towards a Declarative Query and Transformation Language for.. - Bry, Schaffert (2002) (Correct)
Similar documents based on text: More All
0.6: The theorems of the formal system MIU - Matos (1997) (Correct)
0.5: The SBA: Exploiting Orthogonality in AND-OR Parallel Systems - Correia, Silva, Costa (1997) (Correct)
0.5: On Applying Or-Parallelism to Tabled Evaluations - Rocha, Silva, Costa (1997) (Correct)
BibTeX entry: (Update)
@misc{ coelho-clpflex,
author = "Jorge Coelho and Mario Florido",
title = "CLP(Flex): Constraint Logic Programming Applied to XML Processing",
url = "citeseer.ist.psu.edu/coelho04clpflex.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
261 An introduction to Prolog III (context) - Colmerauer - 1990
221 Constraint Logic Programming (context) - Ja, Lassez - 1987
200 Knowledge Interchange Format (context) - Genesereth, Fikes - 1992
151 The ontolingua server: A tool for collaborative ontology con.. - Farquhar, Fikes et al. - 1997
105 The problem of solvability of equations in a free semigroup (context) - Makanin - 1977
93 Feature constraint logics for unification grammars - Smolka - 1992
85 XDuce: A typed XML processing language - Hosoya, Pierce
80 Constraint logic programming: A survey - Ja, Michael et al. - 1994
27 Towards a Declarative Query and Transformation Language for .. - Bry, Scha - 2002
26 CDuce: an XML-centric generalpurpose language - Benzaken, Castagna et al. - 2003
15 Word unification and transformation of generalized equations - Schulz - 1993
11 Unification with sequence variables and flexible arity symbo.. - Kutsia - 2002
9 The XML Query Language Xcerpt: Design Principles (context) - Bry, Scha - 2002
8 Native XML Data Manipulation Language (context) - May, Declarative - 2001
6 Minimal and complete word unification (context) - Ja - 1990
6 Type-based XML Processing in Logic Programming - Coelho, Florido - 2003
4 Relationships between logic programming and XML - Boley - 2000
2 Research Institute for Symbolic Computation (context) - Buchberger, Dupre et al. - 2000
http://www.w3.org/XML/
http://clip.dia.fi.upm.es/Software/pillow/pillow.html
http://www.swi-prolog.org/
http://www.cis.upenn.edu/bcpierce/xtatic/
Documents on the same site (http://www.dei.isep.ipp.pt/~jcoelho/pubs.html):
Type-based {XML} Processing in Logic Programming - Coelho, Florido (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC