[LCL 94-1 ] N. Francez: Contrastive Logic (Revised Version of TR 668). [LCL...  Home/Search
Context
Related
| cs.technion.ac.il/~lcl/lcl948.ps 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: cs.technion.ac.il/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine for Typed Feature Structure", July 1994. [16] Manuel V. Hermenegildo. An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. PhD thesis, Department of Computer Science, The University of Texas at Austin, Austin, Texas 78712-1188, August 1986. [17] Robert T. Kasper. A unification method for disjunctive feature descriptions. In Proceedings of the 25th Annual Meeting of the Association for Computational... (Update)
Similar documents (at the sentence level):
55.5%: An Abstract Machine for Unification Grammars - Wintner (1997) (Correct)
Active bibliography (related documents): More All
2.0: List of Publications - Laboratory for Computational Linguistics - Lcl Francez (Correct)
0.4: Parsing With Typed Feature Structures - Wintner, Francez (1995) (Correct)
0.3: Order-Sorted Feature Theory Unification - Aït-Kaci, Podelski, Goldstein (1994) (Correct)
Similar documents based on text: More All
0.8: Shortcomings of LCL 2.4 - Patrice Chalin (Correct)
0.6: Low-Density Attack of Public-Key Cryptosystems Based on Compact.. - Lee (1999) (Correct)
0.6: What Can Be Computed Locally? - Naor, Stockmeyer (1993) (Correct)
BibTeX entry: (Update)
@misc{ francez-list,
author = "Lcl Francez",
title = "List of Publications - Laboratory for Computational Linguistics",
url = "citeseer.ist.psu.edu/87595.html" }
Citations (may not include all citations):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 ACM DBLP
50 Towards a meaning of LIFE (context) - Ait-Kaci, Podelski - 1993 DBLP
41 CUF -- a formalism for linguistic knowledge representation - Dorre, Dorna - 1993
35 Cambridge Tracts in Theoretical Computer Science (context) - Carpenter, of et al. - 1992
27 ALE -- the attribute logic engine: User's guide (context) - Carpenter - 1992
12 Order-sorted feature theory unification (context) - Ait-Kaci, Podelski et al. - 1993 ACM DBLP
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 DBLP
10 The specification and implementation of constraint-based uni.. - Carpenter, Pollard et al. - 1991
6 Compiling order-sorted feature term unification (context) - Ait-Kaci, Di Cosmo - 1993
4 Institute for Knowledge Based Systems (context) - Eisele, Dorre et al. - 1990
4 volume 1 of Working Papers in Cognitive Science (context) - Haddock, Klein et al. - 1987
2 Unification of disjunctive feature structures (context) - Eisele, Dorre - 1988
2 DUSt: a disjunctive unification system (context) - Griffith - 1993
Documents on the same site (http://www.cs.technion.ac.il/~lcl/publications.html): More
On the Semantics of Temporal Prepositions and Preposition Phrases - Pratt, Francez (1997) (Correct)
On the Direction of Fibring Feature Logics With Concatenation.. - Francez (1997) (Correct)
A New Program For Hebrew Index Based On The Phonemic Script - Uzzi Ornan (1995) (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