LEADER 04344nam  22007335  450 
001 9910483143503321
005 20230223053914.0
010   $a3-662-43742-2
024 7 $a10.1007/978-3-662-43742-1
035   $a(CKB)3710000000143962
035   $a(SSID)ssj0001276512
035   $a(PQKBManifestationID)11762178
035   $a(PQKBTitleCode)TC0001276512
035   $a(PQKBWorkID)11246577
035   $a(PQKB)10898143
035   $a(DE-He213)978-3-662-43742-1
035   $a(MiAaPQ)EBC3107105
035   $a(PPN)179766309
035   $a(EXLCZ)993710000000143962
100   $a20140616d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogical Aspects of Computational Linguistics $e8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings /$fedited by Nicholas Asher, Sergei Soloviev
205   $a1st ed. 2014.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014.
215   $a1 online resource (XVI, 189 p. 29 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8535
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-662-43741-4 
327   $aRegular Articles -- Building PMCFG Parsers as Datalog Program Transformations -- Representing Anaphora with Dependent Types -- An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents -- Adverbs in a Modern Type Theory -- An Algebraic Approach to Multiple Context-Free Grammars -- An ACG View on G-TAG and Its g-Derivation -- On Harmonic CCG and Pregroup Grammars -- The Granularity of Meaning in Proof-Theoretic Semantics -- Late Merge as Lowering Movement in Minimalist Grammars -- Pseudogapping as Pseudo-VP Ellipsis -- Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories -- Semantically Inactive Multiplicatives and Words as Types -- Generalising Predicate and Argument Invariance.-Invited Speaker -- Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic or Both?.
330   $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the broadly syntactic side, there are papers on the logical and computational foundations of context free grammars, pregroup grammars, on the Lambek calculus and on formalizations of aspects of minimalism. There is also a paper on Abstract Categorical Grammar, as well as papers on issues at the syntax/semantics interface. On the semantic side, the volume's papers address monotonicity reasoning, and the semantics of adverbs in type theory, proof theoretical semantics and predicate and argument invariance.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8535
606   $aArtificial intelligence
606   $aMachine theory
606   $aNatural language processing (Computer science)
606   $aComputer science
606   $aComputational linguistics
606   $aArtificial Intelligence
606   $aFormal Languages and Automata Theory
606   $aNatural Language Processing (NLP)
606   $aComputer Science Logic and Foundations of Programming
606   $aComputational Linguistics
606   $aComputer Science
615  0$aArtificial intelligence.
615  0$aMachine theory.
615  0$aNatural language processing (Computer science).
615  0$aComputer science.
615  0$aComputational linguistics.
615 14$aArtificial Intelligence.
615 24$aFormal Languages and Automata Theory.
615 24$aNatural Language Processing (NLP).
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aComputational Linguistics.
615 24$aComputer Science.
676   $a006.3
702   $aAsher$b Nicholas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSoloviev$b Sergei$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910483143503321
996   $aLogical Aspects of Computational Linguistics$9772784
997   $aUNINA