Authors:Balder D. ten Cate, Henk W. Zeevat,
Publisher: Springer
Keywords: logic, computation, language, lecture, notes, intelligence, september, artificial, batumi, international, tbilisi, symposium, georgia
Number of Pages: 281
Published: 2007-10-23
List price: $69.95
ISBN-10: 3540751432
ISBN-13: 9783540751434

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005. The 19 revised full papers presented were carefully reviewed and selected from numerous presentations at the symposium. The papers present current research in all aspects of linguistics, logic and computation and address the following topics in detail:

Authors:Matthias Baaz, Andrei Voronkov,
Publisher: Springer
Keywords: artificial, intelligence, october, georgia, proceedings, lecture, tbilisi, notes, conference, programming, reasoning, international, logic, lpar
Number of Pages: 465
Published: 2002-11-11
List price: $82.95
ISBN-10: 3540000100
ISBN-13: 9783540000105

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.