Advertisement

Logic, Language, Information, and Computation

25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

  • Lawrence S. Moss
  • Ruy de Queiroz
  • Maricarmen Martinez
Conference proceedings WoLLIC 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10944)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10944)

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Elaine Pimentel
    Pages 61-76
  3. Carlos Areces, Miguel Campercholi, Pablo Ventura
    Pages 91-105
  4. Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval
    Pages 106-129
  5. Marta Bílková, Petr Cintula, Tomáš Lávička
    Pages 130-144
  6. Adam Bjorndahl
    Pages 145-162
  7. Luis Henrique Bustamante, Ana Teresa Martins, Francicleber Ferreira Martins
    Pages 163-178
  8. Ştefan Ciobâcă, Andrei Arusoaie, Dorel Lucanu
    Pages 179-195
  9. Thiago Mendonça Ferreira Ramos, César Muñoz, Mauricio Ayala-Rincón, Mariano Moscato, Aaron Dutle, Anthony Narkawicz
    Pages 196-209
  10. Daniyar Itegulov, Ekaterina Lebedeva
    Pages 210-222
  11. Tomoaki Kawano
    Pages 237-249
  12. Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
    Pages 271-288
  13. Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada
    Pages 289-306
  14. Back Matter
    Pages 325-325

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. 
The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation.

Keywords

Computer Science problem solving artificial intelligence formal logic programming languages software engineering specifictions differential equations modal logic satisfiablity numerical methods programming language satisfiablitly problems

Editors and affiliations

  • Lawrence S. Moss
    • 1
  • Ruy de Queiroz
    • 2
  • Maricarmen Martinez
    • 3
  1. 1.Department of MathematicsIndiana UniversityBloomingtonUSA
  2. 2.Centro de InformáticaUniv Federal de Pernambuco (UFPE)RecifeBrazil
  3. 3.Universidad de los AndesBogotáColombia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-57669-4
  • Copyright Information Springer-Verlag GmbH Germany, part of Springer Nature 2018
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-57668-7
  • Online ISBN 978-3-662-57669-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site