Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

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.

Sommario

Pure and applied logic. Formal Logic. Computing and Programming Theory. Natural Language and Reasoning. 

Dettagli sul prodotto

• Con la collaborazione di: Ruy De Queiroz (Editore), Maricarmen Martinez (Editore), Lawrence S. Moss (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 27.06.2018
• EAN: 9783662576687
• ISBN: 978-3-662-57668-7
• Pagine: 325
• Dimensioni: 156 mm x 236 mm x 19 mm
• Peso: 523 g
• Illustrazioni: XVIII, 325 p. 29 illus.
• Serie: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; C, Künstliche Intelligenz, Software Engineering, Artificial Intelligence, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Numerische Mathematik, computer science, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Numerical analysis, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Formal Languages, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Numeric Computing, Formal Languages and Automata Theory, Compilers and Interpreters