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 |