東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Logic and algorithms in computationa...

LACompLing (Symposium) ((2018 :)

Linked to FindBook

Google Book

Amazon

博客來

Logic and algorithms in computational linguistics 2018 (LACompLing2018)

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logic and algorithms in computational linguistics 2018 (LACompLing2018)/ edited by Roussanka Loukanova.
remainder title:	LACompLing2018
other author:	Loukanova, Roussanka.
corporate name:	LACompLing (Symposium)
Published:	Cham :Springer International Publishing : : 2020.,
Description:	ix, 205 p. :ill., digital ;24 cm.
[NT 15003449]:	Proof 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.
Contained By:	Springer eBooks
Subject:	Computational linguistics - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-030-30077-7
ISBN:	9783030300777

Logic and algorithms in computational linguistics 2018 (LACompLing2018)
Logic and algorithms in computational linguistics 2018 (LACompLing2018)[electronic resource] /LACompLing2018edited by Roussanka Loukanova. - Cham :Springer International Publishing :2020. - ix, 205 p. :ill., digital ;24 cm. - Studies in computational intelligence,v.8601860-949X ;. - Studies in computational intelligence ;v.860..

Proof 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.

This 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.

ISBN: 9783030300777

Standard No.: 10.1007/978-3-030-30077-7doiSubjects--Topical Terms:

582158
Computational linguistics
--Congresses.

LC Class. No.: P98

Dewey Class. No.: 006.35

Logic and algorithms in computational linguistics 2018 (LACompLing2018)
LDR:02677nmm a2200349 a 4500 001 2213946
003 DE-He213
005 20200224164904.0
006 m d
007 cr nn 008maaau
008 201118s2020 sz s 0 eng d
020 $a 9783030300777 $q (electronic bk.)
020 $a 9783030300760 $q (paper)
024 7 $a 10.1007/978-3-030-30077-7 $2 doi
035 $a 978-3-030-30077-7
040 $a GP $c GP
041 0 $a eng
050 4 $a P98
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.35 $2 23
090 $a P98 $b .L142 2018
111 2 $a LACompLing (Symposium) $d (2018 : $c Stockholm, Sweden) $3 3443976
245 1 0 $a Logic and algorithms in computational linguistics 2018 (LACompLing2018) $h [electronic resource] / $c edited by Roussanka Loukanova.
246 3 $a LACompLing2018
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a ix, 205 p. : $b ill., digital ; $c 24 cm.
490 1 $a Studies in computational intelligence, $x 1860-949X ; $v v.860
505 0 $a Proof 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.
520 $a This 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.
650 0 $a Computational linguistics $x Congresses. $3 582158
650 1 4 $a Computational Intelligence. $3 1001631
650 2 4 $a Natural Language Processing (NLP) $3 3381674
650 2 4 $a Computational Linguistics. $3 893900
700 1 $a Loukanova, Roussanka. $3 3443977
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Studies in computational intelligence ; $v v.860. $3 3443978
856 4 0 $u https://doi.org/10.1007/978-3-030-30077-7
950 $a Intelligent Technologies and Robotics (Springer-42732)