Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11456)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: TbiLLC 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (18 papers)
Other volumes
-
Language, Logic, and Computation
Keywords
- Natural language syntax
- Linguistic typology
- Language evolution
- Historical linguistics
- Natural logic
- formal pragmatics
- Logics for artificial intelligence
- Algorithmic game theory
- Computational social choice
- Formal models of multiagent systems
- Information retrieval
- query answer systems
- probabilistic models of information
- artificial intelligence
- formal logic
- first order logic
- probability
- probability distribution
- conditional probabilities
About this book
The volume contains 17 full revised papers presented at the conference from 22 submissions. The aim of this conference series is to bring together researchers from a wide variety of fields in Natural language syntax, Linguistic typology, Language evolution, Logics for artificial intelligence and much more.
Editors and Affiliations
Bibliographic Information
Book Title: Language, Logic, and Computation
Book Subtitle: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Editors: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-59565-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Germany, part of Springer Nature 2019
Softcover ISBN: 978-3-662-59564-0Published: 04 July 2019
eBook ISBN: 978-3-662-59565-7Published: 03 July 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 353
Number of Illustrations: 289 b/w illustrations, 6 illustrations in colour
Topics: Mathematical Logic and Formal Languages, Logic in AI, Probability and Statistics in Computer Science