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.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(26 papers)
-
Contributed Papers
Other volumes
-
Logic, Language, Information and Computation
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.
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: Springer-Verlag Berlin Heidelberg 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