Get 40% off of select print and eBooks in Engineering & Materials Science!

Lecture Notes in Artificial Intelligence

Logic, Language, Information and Computation

15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings

Editors: Hodges, Wilfrid, de Queiroz, Ruy (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-69937-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-69936-1
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
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.

Table of contents (26 chapters)

Table of contents (26 chapters)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-69937-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-69936-1
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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 de Queiroz
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
5110
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69937-8
DOI
10.1007/978-3-540-69937-8
Softcover ISBN
978-3-540-69936-1
Edition Number
1
Number of Pages
VIII, 313
Topics