000922851 000__ 03446cam\a2200481Ia\4500 000922851 001__ 922851 000922851 005__ 20230306150900.0 000922851 006__ m\\\\\o\\d\\\\\\\\ 000922851 007__ cr\un\nnnunnun 000922851 008__ 191004s2020\\\\sz\\\\\\o\\\\\100\0\eng\d 000922851 019__ $$a1125753119 000922851 020__ $$a9783030300777$$q(electronic book) 000922851 020__ $$a3030300773$$q(electronic book) 000922851 020__ $$z9783030300760 000922851 020__ $$z3030300765 000922851 0247_ $$a10.1007/978-3-030-30077-7$$2doi 000922851 035__ $$aSP(OCoLC)on1121483524 000922851 035__ $$aSP(OCoLC)1121483524$$z(OCoLC)1125753119 000922851 040__ $$aYDX$$beng$$epn$$cYDX$$dGW5XE$$dSFB$$dOCLCF$$dUKMGB$$dOCLCQ 000922851 049__ $$aISEA 000922851 050_4 $$aP98 000922851 08204 $$a006.3/5$$223 000922851 1112_ $$aLACompLing (Symposium)$$d(2018 :$$cStockholm, Sweden) 000922851 24510 $$aLogic and algorithms in computational linguistics 2018 (LACompLing2018) /$$cRoussanka Loukanova, editor. 000922851 2463_ $$aLACompLing2018 000922851 260__ $$aCham :$$bSpringer,$$c2020. 000922851 300__ $$a1 online resource 000922851 336__ $$atext$$btxt$$2rdacontent 000922851 337__ $$acomputer$$bc$$2rdamedia 000922851 338__ $$aonline resource$$bcr$$2rdacarrier 000922851 4901_ $$aStudies in computational intelligence ;$$vv. 860 000922851 5050_ $$aProof Irrelevance in Type-Theoretical Semantics -- Saving Hamlet Ellipsis -- Temporal Representations with and without Points -- From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial Grammars -- Measuring Linguistic Complexity: Introducing a New Categorial Metric -- On Categorial Grammatical Inference and Logical Information Systems -- A Scope-Taking System with Dependent Types and Continuations -- On the Coevolution of Language and Cognition -- Gricean Intentions Meet Lewisian Conventions. 000922851 506__ $$aAccess limited to authorized users. 000922851 520__ $$aThis book focuses mainly on logical approaches to computational linguistics, but also discusses integrations with other approaches, presenting both classic and newly emerging theories and applications. Decades of research on theoretical work and practical applications have demonstrated that computational linguistics is a distinctively interdisciplinary area. There is convincing evidence that computational approaches to linguistics can benefit from research on the nature of human language, including from the perspective of its evolution. This book addresses various topics in computational theories of human language, covering grammar, syntax, and semantics. The common thread running through the research presented is the role of computer science, mathematical logic and other subjects of mathematics in computational linguistics and natural language processing (NLP). Promoting intelligent approaches to artificial intelligence (AI) and NLP, the book is intended for researchers and graduate students in the field. 000922851 588__ $$aDescription based on print version record. 000922851 650_0 $$aComputational linguistics$$vCongresses. 000922851 7001_ $$aLoukanova, Roussanka,$$eeditor. 000922851 77608 $$iPrint version:$$aLACompLing (Symposium) (2018 : Stockholm, Sweden).$$tLogic and algorithms in computational linguistics 2018 (LACompLing2018).$$dCham : Springer, 2020$$z3030300765$$z9783030300760$$w(OCoLC)1110664930 000922851 830_0 $$aStudies in computational intelligence ;$$vv. 860. 000922851 852__ $$bebk 000922851 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-30077-7$$zOnline Access$$91397441.1 000922851 909CO $$ooai:library.usi.edu:922851$$pGLOBAL_SET 000922851 980__ $$aEBOOK 000922851 980__ $$aBIB 000922851 982__ $$aEbook 000922851 983__ $$aOnline 000922851 994__ $$a92$$bISE