LEADER 04737nam  22006975  450 
001 9910143473403321
005 20251116233937.0
010   $a3-540-69631-8
024 7 $a10.1007/BFb0052147
035   $a(CKB)1000000000211004
035   $a(SSID)ssj0000324534
035   $a(PQKBManifestationID)11224801
035   $a(PQKBTitleCode)TC0000324534
035   $a(PQKBWorkID)10313461
035   $a(PQKB)11404381
035   $a(DE-He213)978-3-540-69631-5
035   $a(PPN)155198823
035   $a(EXLCZ)991000000000211004
100   $a20121227d1997      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogical Aspects of Computational Linguistics $eFirst International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers /$fedited by Christian Retore
205   $a1st ed. 1997.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997.
215   $a1 online resource (X, 442 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v1328
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-63700-1 
327   $aLogical 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.
330   $aThis 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.
410  0$aLecture Notes in Artificial Intelligence ;$v1328
606   $aNatural language processing (Computer science)
606   $aComputer architecture
606   $aLogic, Symbolic and mathematical
606   $aComputer logic
606   $aArtificial intelligence
606   $aNatural Language Processing (NLP)$3https://scigraph.springernature.com/ontologies/product-market-codes/I21040
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aNatural language processing (Computer science)
615  0$aComputer architecture.
615  0$aLogic, Symbolic and mathematical.
615  0$aComputer logic.
615  0$aArtificial intelligence.
615 14$aNatural Language Processing (NLP).
615 24$aComputer System Implementation.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aArtificial Intelligence.
676   $a410/.285
702   $aRetore?$b Christian$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aLACL '96
906   $aBOOK
912   $a9910143473403321
996   $aLogical Aspects of Computational Linguistics$9772784
997   $aUNINA