Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5110)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: WoLLIC 2008.
Buy print copy
About this book
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.
Similar content being viewed by others
Keywords
Table of contents (26 papers)
-
Tutorials and Invited Lectures
-
Contributed Papers
Other volumes
-
Logic, Language, Information and Computation
Bibliographic Information
Book Title: Logic, Language, Information and Computation
Book Subtitle: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
Editors: Wilfrid Hodges, Ruy Queiroz
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-69937-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer-Verlag GmbH, DE, part of Springer Nature 2008
Softcover ISBN: 978-3-540-69936-1Due: 19 June 2008
eBook ISBN: 978-3-540-69937-8Published: 27 June 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 313
Topics: Logic, Artificial Intelligence, Programming Techniques, Theory of Computation, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages