Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein  Home/Search
Context Related
| isg.sfu.ca/ftp/pub/hak/jlp...main.ps.gz 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: isg.sfu.ca/ftp/pub/hak/jlp/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This article is a revision of [8]. A short form was also published as [9]. This research was done while the two first authors were employed at Digital Equipment Corporation's Paris Research Laboratory (PRL), in Rueil-Malmaison, France, and the third author was a summer intern in PRL's Paradise project. The work was partly supported by ESPRIT Basic Research Action ACCLAIM Project No. 7195. We thank Gert Smolka and Martin Emele for their comments. We are grateful to Martin Vorbeck for questioning ... (Update)
Context of citations to this paper: More
.... to represent a (totally well typed) feature structure linearly we use a first order term like notation, based upon At Kaci s # terms [4, 5], where the type plays a similar role to that of a function symbol and the features are listed in a fixed order. Reentrancy is implied...
...to the function are terms connected to the root by features that label them as arguments. For instance, the function call append([1,2,3], 4,5] is really shorthand for append(1 ) 1,2,3] 2 December 1992 Digital PRL An Abstract Machine to Implement Functions in LIFE 3...
Cited by: More
An Abstract Machine to Implement Functions in LIFE - Goldstein (1992) (Correct)
Efficient Implementation of Unification-Based Grammars - Wintner, al. (1999) (Correct)
Similar documents (at the sentence level):
53.0%: Order-Sorted Feature Theory Unification - Aït-Kaci, Podelski, Goldstein (1997) (Correct)
Active bibliography (related documents): More All
0.3: List of Publications - Laboratory for Computational Linguistics - Lcl Francez (Correct)
0.2: DF Constraint System - Ciortuz (1995) (Correct)
0.1: Reasoning With Taxonomies - Fall (1996) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.5: Scaling up the machine for unification of OSF-terms to do.. - Ciortuz (Correct)
0.4: Functions as Passive Constraints in LIFE - Ait-Kaci, Podelski (1992) (Correct)
0.4: Towards a Meaning of LIFE - Aït-Kaci, Podelski (1992) (Correct)
BibTeX entry: (Update)
Hassan At-Kaci, Andreas Podelski, and Seth Copen Goldstein. Order-sorted feature theory unification. In Dale Miller, editor, Logic Programming -- Proceedings of the 1993 International Symposium, pages 506--524, Cambridge, Mass., 1993. MIT Press. http://citeseer.ist.psu.edu/77883.html More
@misc{ at-kaci93ordersorted,
author = "H. At-Kaci and A. Podelski and S. Goldstein",
title = "Order-sorted feature theory unification",
text = "Hassan At-Kaci, Andreas Podelski, and Seth Copen Goldstein. Order-sorted
feature theory unification. In Dale Miller, editor, Logic Programming --
Proceedings of the 1993 International Symposium, pages 506--524, Cambridge,
Mass., 1993. MIT Press.",
year = "1993",
url = "citeseer.ist.psu.edu/77883.html" }
Citations (may not include all citations):1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
369 A semantics of multiple inheritance - Cardelli - 1988
119 LOGIN: A logic programming language with built-in inheritanc.. (context) - Ait-Kaci, Nasr - 1986
102 Type inference for record concatenation and multiple inherit.. - Wand - 1989
93 Feature constraint logic for unification grammar - Smolka - 1992
57 Type inference for records in a natural extension of ML (context) - R'emy - 1991
50 Towards a meaning of LIFE (context) - Ait-Kaci, Podelski - 1993
49 A Lattice-Theoretic Approach to Computation Based on a Calcu.. (context) - Ait-Kaci - 1984
35 An algebraic semantics approach to the effective resolution .. (context) - Ait-Kaci - 1986
30 Typed unification grammars (context) - Emele, Zajac - 1990
23 volume 73 of Studies in Logic and the Foundations of Mathema.. (context) - Chang, Keisler - 1990
16 Unification with lazy non-redundant copying - Emele - 1991
12 Order-sorted feature theory unification (context) - Ait-Kaci, Podelski et al. - 1993
12 volume 32 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Carpenter, of et al. - 1992
12 Order-sorted feature theory unification (context) - Ait-Kaci, Podelski et al. - 1993
11 An introduction to LIFE---programming with logic (context) - Ait-Kaci - 1993
10 Typed feature structures: A generalization of first-order te.. (context) - Carpenter - 1991
10 Functions as passive constraints in LIFE - Ait-Kaci, Podelski - 1994
9 The typed polymorphic label-selective - calculus (context) - Garrigue, Ait-Kaci - 1994
1 Compiling order-sorted feature theory unification (context) - Ait-Kaci, Vorbeck - 1996
1 McGraw-Hill Computer Science Series (context) - Manna, of - 1974
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