By Joachim Baran, Howard Barringer (auth.), Daniel Leivant, Ruy de Queiroz (eds.)
Welcome to the court cases of the 14th WoLLIC assembly, which was once held in Rio de Janeiro, Brazil, July 2 - five, 2007. The Workshop on good judgment, Language, info and Computation (WoLLIC) is an annual foreign discussion board on inter-disciplinary learn regarding formal good judgment, computing and programming idea, and usual language and reasoning. The WoLLIC conferences exchange among Brazil (and Latin the US) and different nations, with the purpose of fostering curiosity in utilized common sense between Latin Am- ican scientists and scholars, and facilitating their interplay with the foreign - plied good judgment group. WoLLIC 2007 inquisitive about foundationsof computing and programming,novel c- putation types and paradigms, huge notions of evidence and trust, formal equipment in software program and improvement; logical methods to ordinary language and r- soning; logics of courses, activities and assets; foundational features of data association, seek, ?ow, sharing, and safety. this system Committee for this assembly, inclusive of the 28 colleagues in this article, was once designed to advertise those inter-disciplinary and cross-disciplinary issues. Like its predecessors, WoLLIC 2007 integrated invited talks and tutorials in addition to contributed papers. this system Committee bought fifty two whole submissions (aside from 15 initial abstracts which didn't materialize). an intensive assessment strategy by way of this system Committee, assisted by means of over 70 exterior reviewers, resulted in the acc- tance of 21 papers for presentation on the assembly and inclusion in those complaints. The convention software additionally integrated sixteen talks and tutorials by means of 10 popular invited audio system, who graciously authorized this system Committee’s invitation.