Language, Logic, and Computation 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers /
Language, Logic, and Computation 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / [electronic resource] :
edited by Aybüke Özgün, Yulia Zinova.
- 1st ed. 2022.
- XVI, 355 p. 63 illus., 8 illus. in color. online resource.
- Lecture Notes in Computer Science, 13206 1611-3349 ; .
- Lecture Notes in Computer Science, 13206 .
Language and Logic -- Logic and Computation -- Mathematical Logic -- Computational Linguistics -- Semantics -- Georgian -- German.
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).
9783030984793
10.1007/978-3-030-98479-3 doi
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).
QA267-268.5
005.131
Language and Logic -- Logic and Computation -- Mathematical Logic -- Computational Linguistics -- Semantics -- Georgian -- German.
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).
9783030984793
10.1007/978-3-030-98479-3 doi
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).
QA267-268.5
005.131