See this document in CiteSeerX!

List of Publications Laboratory for Computational Linguistics  (Make Corrections)  
[LCL 94-1 ] N. Francez: Contrastive Logic (Revised Version of TR 668). [LCL...



  Home/Search   Context   Related

 
View or download:
cs.technion.ac.il/~shuly...lcl948.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  upenn.edu/~shuly/publications/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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 (1993)   (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/144507.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
50   Towards a meaning of LIFE (context) - Ait-Kaci, Podelski - 1993
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
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   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
6   Order-sorted feature theory unification - Ait-Kaci, Podelski et al. - 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.cis.upenn.edu/~shuly/publications/):   More
Off-line Parsability and the Well-foundedness of Subsumption - Shuly Wintner (1999)   (Correct)
AMALIA - A Unified Platform for Parsing and Generation - Wintner, Gabrilovich, Francez (1997)   (Correct)
Efficient Implementation of Unification-Based Grammars - Wintner, Francez (1999)   (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