Book Details

Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

Publication year: 2008

ISBN: 978-3-540-69937-8

Internet Resource: Please Login to download book


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.


Subject: Computer Science, Action, Natural, adaptive functions, algorithms, artificial intelligence, belief revision, calculi, classical computability, completeness, computational logic, computational modeling, decision procedure, epistemic dynamic logic, formal languages logic, algorithm analysis and problem complexity, Logic, Artificial Intelligence, Programming Techniques, Theory of Computation, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages