Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011,...
- ISBN-10
- 3642369758
- ISBN-13
- 9783642369759
- Category
- Computers
- Language
- English
- Published
- 2013-02-10
- Publisher
- Springer
- Authors
- Sebastian Löbner, Frank Richter, Guram Bezhanishvili
Description
This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011. The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications.
Get the book
Other editions
-
- 2017-02-21
- 355 pages
- Ebook
- Springer
-
- 2015-05-04
- 333 pages
- Ebook
- Springer
-
- 2013-03-14
- 277 pages
- Ebook
- Springer
-
- 2011-07-18
- 360 pages
- Ebook
- Springer
Similar books
-
Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
By Ruy de Queiroz, Alexandra Silva, Renata WassermannEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in ...
-
Logic, Language and Computation
By Seiki AkamaThe papers in this volume will give the reader a glimpse into the problems of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2.
-
Puzzles in Logic, Languages and Computation: The Green Book
By Dragomir RadevThis is the second volume of a unique collection that brings together the best English-language problems created for students competing in the Computational Linguistics Olympiad.
-
Logic, Language, Information, and Computation
By Ruy de Queiroz, Luke OngEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, ...
-
Puzzles in Logic, Languages and Computation: The Red Book
By Dragomir RadevThis is the first volume of a unique collection that brings together the best English-language problems created for students competing in the Computational Linguistics Olympiad.
-
Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected...
By Balder D. ten Cate, Henk W. ZeevatEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC ...
-
Logic, Language and Computation
By S. Akama... Logic of Relevance and Necessity . Princeton University Press . 1975 . W. Carnielli . Methods of proof for ... Directions in Relevant Logic . 1989 . W. T. Parry . Analytic implication : its hisory , justification and varieties ...
-
Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009....
By Sebastian Löbner, Kerstin Schwabe, Nick BezhanishviliEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, held in ...
-
Logic, Language and Computation
By Lawrence Moss, Maarten de Rijke, Jonathan GinzburgThe papers contained in this volume by some of the most influential computer scientists, linguists, logicians and philosophers of today cover subjects such as channel theory, presupposition and constraints, the modeling of discourse, and ...
-
Logic And Language Models For Computer Science (Fourth Edition)
By Dana Richards, Henry HamburgerSpecial emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a ...