Logical aspects of computational linguistics : first international conference, LACL '96, Nancy, France, April 1996 : selected papers
This book constitutes the strictly refereed post-conference proceedings of the First International Conference on Logical Aspects of Computational Linguistics, LACL '96, held in Nancy, France in April 1996. The volume presents 18 revised full papers carefully selected and reviewed for inclusion...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science. Lecture notes in artificial intelligence
1328 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logical aspects of computational linguistics, first international conference, LACL '96, Nancy, France, April 1996, selected papers, Christian Retore (ed.), 1997, Berlin, Springer, 1 vol. (VIII-434 p.), Lecture notes in computer science, 3-540-63700-1 • Logical Aspects of Computational Linguistics, Texte imprimé, 9783662189542 |
| LEADER | 04342nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 944714 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155198823 | ||
| 020 | |a 9783540696315 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a LACL 96 |n (01 |d :1996 |c :Nancy, France). | |
| 245 | 1 | 0 | |a Logical aspects of computational linguistics : |b first international conference, LACL '96, Nancy, France, April 1996 : selected papers |c [edited by] Christian Retoré. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1328 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Logical aspects of computational linguistics: An introduction -- Partial proof trees, resource sensitive logics and syntactic constraints -- Inessential features -- Linear logic as logic programming: An abstract -- Derivational minimalism -- Tree adjoining grammars in noncommutative linear logic -- Constructing different phonological bracketings from a proof net -- Vagueness and type theory -- A natural language explanation for formal proofs -- Models for polymorphic Lambek Calculus -- Sloopy Identity -- A family of decidable feature logics which support HPSG-style set and list constructions -- Language understanding: A procedural perspective -- The automatic deduction of classificatory systems from linguistic theories (abridged) -- A belief-centered treatment of pragmatic presupposition -- Connected sets of types and categorial consequence -- Generation as deduction on labelled proof nets -- Semilinearity as a syntactic invariant -- Quantitative constraint logic programming for weighted grammar applications -- Strict LT2 : Regular :: Local : Recognizable -- Pomset Logic and variants in natural languages -- Constraint logic programming for computational linguistics -- Representation theorems for residuated groupoids. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book constitutes the strictly refereed post-conference proceedings of the First International Conference on Logical Aspects of Computational Linguistics, LACL '96, held in Nancy, France in April 1996. The volume presents 18 revised full papers carefully selected and reviewed for inclusion in the book together with four invited contributions by leading authorities and an introductory survey with a detailed bibliography. The papers cover all relevant logical aspects of computational linguistics like logical inference, grammars, logical semantics, natural language processing, formal proofs, logic programming, type theory, etc. | ||
| 650 | |a Informatique | ||
| 650 | |a Linguistique |x Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Langage et logique | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Retoré, Christian, |d 1964- |4 pbd | |
| 776 | 0 | |0 033536627 |t Logical aspects of computational linguistics |o first international conference, LACL '96, Nancy, France, April 1996 |o selected papers |f Christian Retore (ed.) |d 1997 |c Berlin |n Springer |p 1 vol. (VIII-434 p.) |s Lecture notes in computer science |z 3-540-63700-1 | |
| 776 | 0 | |t Logical Aspects of Computational Linguistics |b Texte imprimé |z 9783662189542 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0052147 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-ND0749X5-4 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747892628 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0052147 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750905697 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0052147 |z Accès INSA CVL | |
| 997 | |0 944714 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||