Logic, Language, and Computation
6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
Buch in deiner Nähe kaufen
Beschreibung
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: modal logic, linguistics and typology, formal pragmatics, linguistics and formal pragmatics, semantics and pragmatics, linguistic, typology, semantics and pragmatics, linguistics, semantics and learnability, information and artificial intelligence, formal pragmatics and typology, linguistics, semantics and typology, as well as logic and linguistics.
Autor*in
Balder D. ten Cate
Themen in »Logic, Language, and Computation«
AI logics Bisimulation algebraic semantics computational logics constraint programming database logic information retrieval intelligence knowledge-based systems linguistics logic-based programm modal logic morphology multi-agent system semantics