Hassan Aït-Kaci, Andreas Podelski, Gert Smolka  @ NUS Home/Search
Context
Related
| isg.sfu.ca/dfkips/RR9217.ps.gz ps.unisb.de/Papers/abstr...RR9217.ps Cached: PS.gz PS PDF Image Update Help From: isg.sfu.ca/dfkips/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents the constraint system FT, which we feel is an intriguing alternative to Herbrand both theoretically and practically. As does Herbrand, FT provides a universal data structure based on trees. However, the trees of FT (called feature trees) are more general than the trees of Herbrand (called constructor trees), and the constraints of FT are finer grained and of different expressivity. The basic notion of FT are functional attributes called features, which provide for... (Update)
Similar documents (at the sentence level):
77.3%: A Feature-based Constraint System for Logic.. - Aït-Kaci.. (1992) (Correct)
68.6%: A Feature Constraint System for Logic Programming with.. - Aït-Kaci, Podelski, Smolka (1992) (Correct)
Active bibliography (related documents): More All
0.3: Records for Logic Programming - Smolka, Treinen (1994) (Correct)
0.1: Feature Automata and Recognizable Sets of Feature Trees - Niehren, Podelski (1993) (Correct)
0.1: Feature Automata and Sets of Feature Trees - Niehren, Podelski (1993) (Correct)
Similar documents based on text: More All
0.9: Functional Computation in a Calculus of Relational.. - Joachim Niehren, Gert .. (1994) (Correct)
0.9: Encapsulated Search and Constraint Programming in Oz - Schulte, Smolka, Würtz (1994) (Correct)
0.9: Equational and Membership Constraints for Infinite Trees - Niehren, Podelski, Treinen (1993) (Correct)
BibTeX entry: (Update)
@misc{ t-kaci-featurebased,
author = "Hassan Aït-Kaci and Andreas Podelski and Gert Smolka",
title = "A Feature-based Constraint System for Logic Programming with Entailment",
url = "citeseer.comp.nus.edu.sg/17275.html" }
Citations (may not include all citations):561 Constraint logic programming (context) - Jaffar, Lassez - 1987
344 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
246 Lexical-Functional Grammar: A formal system for grammatical .. (context) - Kaplan, Bresnan - 1982
166 Unification revisited (context) - Lassez, Maher et al. - 1988
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
125 Warren's Abstract Machine: A Tutorial Reconstruction (context) - Ait-Kaci - 1991
119 LOGIN: A logic programming language with built-in inheritanc.. (context) - Ait-Kaci, Nasr - 1986
94 Equations and inequations on finite and infinite trees (context) - Colmerauer - 1984
93 Feature constraint logics for unification grammars - Smolka - 1992
86 Attribute-Value Logic and the Theory of Grammar (context) - Johnson - 1988
80 Functional grammar (context) - Kay - 1979
72 Kernel Andorra Prolog and its computation model - Haridi, Janson - 1990
63 German Research Center for Artificial Intelligence (context) - Smolka, Treinen et al. - 1992
63 German Research Center for Artificial Intelligence (context) - Backofen, Smolka et al. - 1991
52 Towards a Meaning of LIFE (context) - Ait-Kaci, Podelski - 1991
45 A complete logical calculus for record structures representi.. (context) - Rounds, Kasper - 1986
39 An algebraic semantics approach to the effective resolution .. (context) - Ait-Kaci - 1986
29 Inheritance hierarchies: Semantics and unification (context) - Smolka, Ait-Kaci - 1989
21 A constraint sequent calculus (context) - Lassez, McAloon - 1990
19 Technology and Science of Informatics (context) - Colmerauer, Kanoui et al. - 1983
17 Constraint Logic Programming and the Unification of Informat.. (context) - Mukai - 1991
11 Partially specified terms in logic programming for linguisti.. (context) - Mukai - 1988
8 Lisp and Symbolic Computation (context) - Ait-Kaci, Nasr et al. - 1989
7 Elements of a theory of tree codes (context) - Nivat - 1992
Documents on the same site (http://www.isg.sfu.ca/dfki-ps/): More
A Foundation for Higher-order Concurrent Constraint Programming - Gert Smolka (1994) (Correct)
Towards the Verification of Concurrent Constraint Programs in.. - Jörg Würtz (1994) (Correct)
Encapsulated Search for Higher-order Concurrent.. - Christian Schulte.. (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.