Sylvain Pogodalla  Home/Search
Context
Related
| nlp3.korea.ac.kr/proceeding/c...091.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: nlp3.korea.ac.kr...cd_proceedings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between Lambek calculus and linear logic to present a method for the generation process with semantic proof nets. We express the process as a proof search procedure based on a graph calculus and the solutions appear as a matrix computation preserving the decidability properties, and we characterize a polynomial time case. 1... (Update)
Similar documents (at the sentence level):
35.9%: Generation, Lambek Calculus, Montague's Semantics - And Semantic Proof (Correct)
21.3%: Generation in the Lambek Calculus Framework: an Approach with.. - Pogodalla (Correct)
12.3%: Generation with Semantic Proof Nets - Pogodalla (1999) (Correct)
Active bibliography (related documents): More All
1.5: Generation, Lambek Calculus, Montague's Semantics and Semantic.. - Pogodalla (2000) (Correct)
0.0: Geometry of Language - Morrill (1997) (Correct)
0.0: Constructing Different Phonological Bracketings From a Proof-Net - Bechet, de Groote (1996) (Correct)
Similar documents based on text: More All
0.5: A New Correctness Criterion for Multiplicative Non Commutative.. - Maieli (2001) (Correct)
0.3: Lexicalized Proof-Nets and TAGs - Pogodalla (Correct)
0.2: Proof Nets for Unit-free Multiplicative-Additive Linear Logic - Extended Dominic (2003) (Correct)
BibTeX entry: (Update)
@misc{ pogodalla-generation,
author = "Sylvain Pogodalla",
title = "Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets",
url = "citeseer.ist.psu.edu/423588.html" }
Citations (may not include all citations):248 The mathematics of sentence structure (context) - Lambek - 1958
30 Games semantics for full propositional linear logic (context) - Lamarche - 1995
22 Pomset logic as an alternative categorial grammar - Lecomte, Retore - 1995
21 Geometry of interaction I: Interpretation of system F (context) - Girard - 1989
5 A note on turbo cut elimination (context) - Retore - 1990
4 Une Application de la Logique Lineaire al' Etude des Process.. (context) - Danos - 1990
2 Handsome proofnets: R&b-graphs (context) - September - 1998
2 Merenciano and Glyn Morrill (context) - Josep - 1997
Documents on the same site (http://nlp3.korea.ac.kr/proceeding/coling2000/COLING/cd_proceedings.html): More
MT and Topic-Based Techniques to Enhance Speech Recognition .. - Ludovik, Zacharski (2000) (Correct)
Parsing Schemata for Grammars with Variable Number and Order of.. - Schneider (2000) (Correct)
Extracting Semantic Clusters From the Alignment of Definitions - Sierra, McNaught (2000) (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