000 04094nam a22006015i 4500
001 978-3-540-69631-5
003 DE-He213
005 20240423132442.0
007 cr nn 008mamaa
008 121227s1997 gw | s |||| 0|eng d
020 _a9783540696315
_9978-3-540-69631-5
024 7 _a10.1007/BFb0052147
_2doi
050 4 _aQA76.9.N38
072 7 _aUYQL
_2bicssc
072 7 _aCOM073000
_2bisacsh
072 7 _aUYQL
_2thema
082 0 4 _a006.35
_223
245 1 0 _aLogical Aspects of Computational Linguistics
_h[electronic resource] :
_bFirst International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers /
_cedited by Christian Retore.
250 _a1st ed. 1997.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c1997.
300 _aX, 442 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v1328
505 0 _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.
520 _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.
650 0 _aNatural language processing (Computer science).
650 0 _aComputer systems.
650 0 _aMachine theory.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aNatural Language Processing (NLP).
650 2 4 _aComputer System Implementation.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aArtificial Intelligence.
700 1 _aRetore, Christian.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540637004
776 0 8 _iPrinted edition:
_z9783662189542
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v1328
856 4 0 _uhttps://doi.org/10.1007/BFb0052147
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c187901
_d187901