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 16h International Workshop on Logic Language Information and Computation WoLLIC 2009
held in Tokyo Japan in June 2009. The 25 revised full papers presented together with six
tutorials and invited talks were carefully reviewed and selected from 57 submissions. The
papers cover some of the most active areas of research on the frontiers between computation
logic and linguistics 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.
