Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

✍ Scribed by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2015
Tongue: English
Leaves: 219
Series: Lecture Notes in Computer Science 9160
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.

The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.

✦ Table of Contents

Front Matter....Pages I-XX
The Word Problem for Finitely Presented Quandles is Undecidable....Pages 1-13
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language....Pages 14-26
On Topologically Relevant Fragments of the Logic of Linear Flows of Time....Pages 27-37
An Equation-Based Classical Logic....Pages 38-52
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing....Pages 53-68
A Dichotomy Result for Ramsey Quantifiers....Pages 69-80
Parametric Polymorphism — Universally....Pages 81-92
On the Weak Index Problem for Game Automata....Pages 93-108
Proof-Theoretic Aspects of the Lambek-Grishin Calculus....Pages 109-123
Syllogistic Logic with “Most”....Pages 124-139
Characterizing Frame Definability in Team Semantics via the Universal Modality....Pages 140-155
An Epistemic Separation Logic....Pages 156-173
Equational Properties of Stratified Least Fixed Points (Extended Abstract)....Pages 174-188
The p-adic Integers as Final Coalgebra ....Pages 189-199
Back Matter....Pages 201-201

✦ Subjects

Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Symbolic and Algebraic Manipulation; Algorithm Analysis and Problem Complexity

📜 SIMILAR VOLUMES

Logic, Language, Information, and Comput

📁 Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

✍ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. 📂 Library 📅 2015 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.<

Logic, Language, Information, and Comput

📁 Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

✍ Natasha Alechina (auth.), Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz (eds. 📂 Library 📅 2013 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers prese

Logic, Language, Information and Computa

📁 Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

✍ Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.) 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered a

Logic, Language, Information and Computa

📁 Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

✍ Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.) 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Logic, Language, Information and Computa

📁 Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

✍ Marcelo Finger, Mauricio S. C. Hernandes (auth.), Anuj Dawar, Ruy de Queiroz (ed 📂 Library 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English

This book is edited in collaboration with FoLLI, the Association of Logic, Language and Information. It constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010. The book presents 7 invited tal

Logic, Language, Information and Computa

📁 Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

✍ Marcelo Finger, Mauricio S. C. Hernandes (auth.), Anuj Dawar, Ruy de Queiroz (ed 📂 Library 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English