Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science, 4576)

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community. WoLLIC 2007 focused on foundationsof computing and programming,novel c- putation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approaches to natural language and r- soning; logics of programs, actions and resources; foundational aspects of information organization, search, ?ow, sharing, and protection. The Program Committee for this meeting, consisting of the 28 colleagues listed here, was designed to promote these inter-disciplinary and cross-disciplinary topics. Like its predecessors, WoLLIC 2007 included invited talks and tutorials as well as contributed papers. The Program Committee received 52 complete submissions (aside from 15 preliminary abstracts which did not materialize). A thorough review process by the Program Committee, assisted by over 70 external reviewers, led to the acc- tance of 21 papers for presentation at the meeting and inclusion in these proceedings. The conference program also included 16 talks and tutorials by 10 prominent invited speakers, who graciously accepted the Program Committee’s invitation. Front Matter....Pages - A Grammatical Representation of Visibly Pushdown Languages....Pages 1-11 Fully Lexicalized Pregroup Grammars....Pages 12-25 Bounded Lattice T-Norms as an Interval Category....Pages 26-37 Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps....Pages 38-52 Continuation Semantics for Symmetric Categorial Grammar....Pages 53-71 Ehrenfeucht–Fraïssé Games on Linear Orders....Pages 72-82 Hybrid Logical Analyses of the Ambient Calculus....Pages 83-100 Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination....Pages 101-119 On Principal Types of BCK- λ -Terms....Pages 120-130 A Finite-State Functional Grammar Architecture....Pages 131-146 Pregroup Calculus as a Logic Functor....Pages 147-161 A Formal Calculus for Informal Equality with Binding....Pages 162-176 Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm....Pages 177-188 An Introduction to Context Logic....Pages 189-202 Numerical Constraints for XML....Pages 203-217 Modules over Monads and Linearity....Pages 218-237 Hydra Games and Tree Ordinals....Pages 238-247 Spin Networks, Quantum Topology and Quantum Computation....Pages 248-263 Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus....Pages 264-284 Computational Interpretations of Classical Linear Logic....Pages 285-296 Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures....Pages 297-306 Interval Valued QL-Implications....Pages 307-321 Behavioural Differential Equations and Coinduction for Binary Trees....Pages 322-336 A Sketch of a Dynamic Epistemic Semiring....Pages 337-350 A Modal Distributive Law (abstract)....Pages 351-351 Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing....Pages 352-361 Back Matter....Pages - Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community. WoLLIC 2007 focused on foundationsof computing and programming, novel c- putation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approaches to natural language and r- soning; logics of programs, actions and resources; foundational aspects of information organization, search,?ow, sharing, and protection. The Program Committee for this meeting, consisting of the 28 colleagues listed here, was designed to promote these inter-disciplinary and cross-disciplinary topics. Like its predecessors, WoLLIC 2007 included invited talks and tutorials as well as contributed papers. The Program Committee received 52 complete submissions (aside from 15 preliminary abstracts which did not materialize). A thorough review process by the Program Committee, assisted by over 70 external reviewers, led to the acc- tance of 21 papers for presentation at the meeting and inclusion in these proceedings. The conference program also included 16 talks and tutorials by 10 prominent invited speakers, who graciously accepted the Program Committee's invitation This book constitutes the refereed proceedings of the 14th International Workshop on Logic, Language, Information and Computation, WoLLIC 2007, held in Rio de Janeiro, Brazil in July 2007. The 21 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 52 submissions. The papers focus on 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 The 14th International Workshop On Logic, Language, Information And Computation Focused On 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; And Foundational Aspects Of Information Organization, Search, Flow, Sharing, And Protection. Daniel Leivant, Ruy De Queiroz (eds.). Includes Bibliographical References And Index.