HomeTOPMENU_CONTACTCartLoginMy SpringerChoose your location
Free Trial Access Medicine Journals
Surgery
Search Search By
Advanced Search
Logic, Language, Information and Computation

Logic, Language, Information and Computation

15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
Series: Lecture Notes in Computer Science
Subseries: Lecture Notes in Artificial Intelligence , Vol. 5110
Hodges, Wilfrid; Queiroz, Ruy de (Eds.)
2008, VIII, 313 p., Softcover
ISBN: 978-3-540-69936-1


This item usually ships in 2-3 business days.
$69.95
Cart
About this book
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.

Written for:
Researchers and professionals
Keywords:
  • adaptive functions
  • algorithms
  • automata
  • belief revision
  • calculi
  • classical computability
  • complementation
  • completeness
  • complexity theory
  • computational logic
  • computational modeling
  • decision procedure
  • epistemic dynamic logic
  • formal languages
  • fuzzy logic
  • grammars
  • graph calculus
  • hybrid logic
  • inference processes
  • knowledge update
  • lower bounds
  • methodology of computing
  • modal logic
  • model checking
  • operational semantics
  • probability logic
  • program transformation
  • proof theory
  • quantum algorithms
  • query complexity
  • randomness
  • recursion theory
  • relational language
  • simulation
  • static analysis
  • symmetry
  • type theory
  • uncertain reasoning
  • verification
E-content
Online Version
All books by these editors
Related subjects
New Book Alert
If you would like to receive information on new books in the subject area of Artificial Intelligence (incl. Robotics), please register:
E-mail
Retype E-mail