LEADER 09465nam 22007335 450 001 996465515403316 005 20200630023906.0 010 $a3-642-22221-8 024 7 $a10.1007/978-3-642-22221-4 035 $a(CKB)2670000000095952 035 $a(SSID)ssj0000576716 035 $a(PQKBManifestationID)11340763 035 $a(PQKBTitleCode)TC0000576716 035 $a(PQKBWorkID)10558936 035 $a(PQKB)10394904 035 $a(DE-He213)978-3-642-22221-4 035 $a(MiAaPQ)EBC6303357 035 $a(MiAaPQ)EBC5577068 035 $a(Au-PeEL)EBL5577068 035 $a(OCoLC)733082764 035 $a(PPN)153859571 035 $a(EXLCZ)992670000000095952 100 $a20110624d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogical Aspects of Computational Linguistics$b[electronic resource] $e6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings /$fedited by Sylvain Pogodalla, Jean-Philippe Prost 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (X, 283 p. 50 illus., 7 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6736 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-22220-X 327 $aIntro -- Title -- Preface -- Organization -- Table of Contents -- Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework -- Commutativity vs. Non-commutativity in Standard MCG and Phases -- Minimalist Categorial Grammars -- Partially Commutative Logic (PCL) -- Labels Encoding Word Order -- Lexicon -- Rules of MCG -- Phases -- Encoding Phases in MCG -- Derivation of a Simple Sentence -- Question -- Blocked Derivation with PIC -- Conclusion -- References -- Using Logic in the Generation of Referring Expressions -- Generating Referring Expressions -- Measuring Expressive Power -- Choosing the Appropriate Language -- Defining Sameness -- GRE via Simulator Sets -- GRE via Building Simulated Models -- Combining GRE Methods -- On the Size of Referring Expressions -- Conclusions -- References -- Polarized Classical Non-associative Lambek Calculus and Formal Semantics -- Introduction -- Classical Non-associative Lambek Calculus -- Polarized CNL -- Motivation -- Polarization and Derivational Semantics -- Lexical Semantics -- Comparing Provability in CNLpol and CNL -- Phase Spaces -- Cut Admissibility and Completeness w.r.t. CNL -- Related Topics -- Focused Proof Search -- The Lambek-Grishin Calculus -- Normalization by Evaluation -- References -- The Product-Free Lambek-Grishin Calculus Is NP-Complete -- Introduction -- Lambek-Grishin Calculus -- Preliminaries -- Derivation Length -- Additional Notations -- Derived Rules of Inference -- Type Similarity -- Reduction from SAT to LG -- Intuition -- Only-If Part -- If Part -- Conclusion -- Discussion and Future Work -- References -- Copredication, Quantification and Frames -- Introduction -- Frames and Thick Particulars -- Dynamic Generalized Quantifiers -- Treating Copredication -- Treating Lexical Innovation -- How Many Books are on the Shelf? -- Conclusion -- References. 327 $aOn Dispersed and Choice Iteration in Incrementally Learnable Dependency Types -- Introduction -- Categorial Dependency Grammars with Extended Iteration Types -- Categorial Dependency Grammars -- Dispersed and Choice Iterations -- Incremental Learning -- Incremental Learning of Dispersed Iteration -- Incremental Learning of Choice Iteration -- Conclusion -- References -- Closure Properties of Minimalist Derivation Tree Languages -- Preliminaries and Notation -- Minimalist Derivation Tree Languages -- P-Closure Properties -- Minimalist Grammars with Regular Control -- References -- Well-Nestedness Properly Subsumes Strict Derivational Minimalism -- Introduction -- Multiple Context-Free Grammars -- Separating MCFLwn from MCFL -- Separating MCFLmb from MCFLwn -- Conclusion -- References -- Minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree Languages -- Formal Preliminaries -- Minimalist Grammars -- Languages -- Closure under Intersection with Regular Sets -- Applications -- Semantics -- Complexity Filters -- Distributed Morphology -- Conclusion -- References -- Do Dialogues Have Content? -- Introduction -- The Content of a Dialogue -- The Challenge from Semantic Plasticity -- Semantic Coordination and Semantic Plasticity -- Semantic Plasticity and Inference -- Semantic Plasticity and Classical Model-Theoretic Semantics -- An Alternative: TTR -- Representing Concepts Using TTR -- A TTR Account of the ``Panda'' Example -- TTR and Semantic Plasticity -- Indeterminate Extensions -- Model-Theoretic Sensor Semantics? -- Conclusion -- References -- Contextual Analysis of Word Meanings in Type-Theoretical Semantics -- Introduction -- Type-Theoretical Semantics -- A Brief Overview -- Embedded Logic -- Dependent Types -- Coercive Subtyping -- Universes -- Sense Selection via Overloading -- Sense Enumeration. 327 $aSimple Sense Selection via Overloading Based on Coercive Subtyping -- Representation of Contexts: Coercion Contexts and Local Coercions -- Coercion Contexts in Type Theory -- Local Coercions in Terms -- Structured Lexical Entries: Copredication and Beyond -- Copredication and Dot-Types -- Generative Lexical Entries as -types -- Implementations in Coq -- Conclusion -- References -- Logic Programming of the Displacement Calculus -- Introduction -- The Displacement Calculus -- Focusing -- Logic Programming -- Conclusion -- References -- Conditional Logic Cb and Its Tableau System -- Introduction -- Conditional Sentences in Natural Language and Classical Logic -- Modal Tableau -- Conditional Logic -- Syntax of Conditional Logic -- Semantics of Conditional Logic -- Previous Study -- C+ -- S -- C1 , C2 -- Proposal: A New Conditional Logic Cb -- Empirical Verification -- Soundness -- Completeness -- Conclusion and Future Work -- References -- Are (Linguists') Propositions (Topos) Propositions? -- Introduction -- Lambek's Categorical Semantics -- Are Propositions Propositions? -- Preboolean Algebras -- Background on Ultrafilters -- Hyperintensional Categorical Semantics -- Conclusion -- References -- Event in Compositional Dynamic Semantics -- Event Semantics -- Dynamic Semantics and Discourse Relation -- Dynamic Semantics -- A New Approach to Dynamics -- Discourse Relations and Discourse Structure -- EventinDynamicSemantics -- Event-Based Sentential Semantics -- Event-Based Discourse Semantics -- Comparison with Other Related Works -- Conclusion and Future Work -- References -- Using Tree Transducers for Grammatical Inference -- Introduction -- Learning Categorial Grammars -- Presentation of the Paris VII Corpus -- G-transducer -- Formal Definition -- Transduction Rules -- Implementation -- Corpus Corrector -- Transducer -- Evaluation. 327 $aConclusion and Future Work -- References -- Distributional Learning of Abstract Categorial Grammars -- Introduction -- Simply Typed Lambda Calculus -- Abstract Categorial Grammars -- Definition -- Encoding of Context-Free Formalisms in ACGs -- Distributional Learning of ACGs -- Examples of Learning Algorithms -- Substitutable ACGs -- ACGs with the Finite Kernel Property -- Discussions -- References -- Some Generalised Comparative Determiners -- Introduction -- Formal Preliminaries -- Some Unary Comparative Determiners -- Some Binary Generalised Determiners -- Conclusive Remarks -- References -- Author Index. 330 $aThis book constitutes the refereed proceedings of the 6th International Conference on Logical Aspects of Computational Linguistics, LACL 2011, held in Montpellier, France, in June/July 2011. The 18 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers address a wide range of logical and formal methods in computational linguistics such as type-theoretic grammars, dependency grammars, formal language theory, grammatical inference, minimalism, generation, and lexical and formal semantics. 410 0$aLecture Notes in Artificial Intelligence ;$v6736 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputational linguistics 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aComputational Linguistics$3https://scigraph.springernature.com/ontologies/product-market-codes/N22000 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputational linguistics. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputational Linguistics. 676 $a410.285 702 $aPogodalla$b Sylvain$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aProst$b Jean-Philippe$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aLACL (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465515403316 996 $aLogical Aspects of Computational Linguistics$9772784 997 $aUNISA