✦ LIBER ✦

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 3492 || Translating Formal Software Specifications to Natural Language

✍ Scribed by Blache, Philippe; Stabler, Edward; Busquets, Joan; Moot, Richard

Book ID: 118222435
Publisher: Springer Berlin Heidelberg
Year: 2005
Tongue: English
Weight: 193 KB
Edition: 1
Category: Article
ISBN: 3540319530
DOI: 10.1007/11422532_4

No coin nor oath required. For personal study only.

✦ Synopsis

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Natural Language Specifications

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 728 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic, Language, and Computation Volume 5422 || A Dynamic Conceptual Model for the Linguistic Structuring of Space: Georgian Preverbs

✍ Bosch, Peter; Gabelaia, David; Lang, Jérôme 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 174 KB

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, held in Tbilisi, Georgia, in October 2007. The 22 revised full papers in

[Lecture Notes in Computer Science] Aspe

[Lecture Notes in Computer Science] Aspects of Natural Language Processing Volume 5070 || Representation of Uzbek Morphology in Prolog

✍ Marciniak, Małgorzata; Mykowiecka, Agnieszka 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 424 KB

[Lecture Notes in Computer Science] Prac

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 7149 || A Declarative Specification of Tree-Based Symbolic Arithmetic Computations

✍ Russo, Claudio; Zhou, Neng-Fa 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 249 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Pattern-Driven Formal Specification

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 500 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Methods of Specification and Synthesis of Software Systems '85 Volume 215 || Formalizing analogical reasoning

✍ Bibel, Wolfgang; Jantke, Klaus P. 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 147 KB