Language, Logic, and Computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / edited by Aybüke Özgün, Yulia Zinova.

Format:

Book

Contributor:

Zinova, Yulia, editor.

Özgün, Aybüke, editor.

Series:

Lecture Notes in Computer Science, 1611-3349 ; 13206

Language:

English

Subjects (All):

Machine theory.

Computer science.

Software engineering.

Logic programming.

Natural language processing (Computer science).

Formal Languages and Automata Theory.

Computer Science Logic and Foundations of Programming.

Software Engineering.

Logic in AI.

Natural Language Processing (NLP).

Local Subjects:

Formal Languages and Automata Theory.

Computer Science Logic and Foundations of Programming.

Software Engineering.

Logic in AI.

Natural Language Processing (NLP).

Physical Description:

1 online resource (367 pages)

Edition:

1st ed. 2022.

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2022.

Summary:

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: · Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) · Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden).

Contents:

Language and Logic

Logic and Computation

Mathematical Logic

Computational Linguistics

Semantics

Georgian

German.

Notes:

Includes bibliographical references and index.

Other Format:

Print version: Özgün, Aybüke Language, Logic, and Computation

ISBN:

3-030-98479-6

OCLC:

1310641820