| Description |
1 online resource |
| Series |
Lecture notes in computer science, 0302-9743 ; 7351 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7351.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Logical Grammars, Logical Theories / Alexander Clark -- Ludics and Natural Language: First Approaches / Christophe Fouqueré and Myriam Quatrini -- The Non Cooperative Basis of Implicatures / Nicholas Asher -- Movement-Generalized Minimalist Grammars / Thomas Graf -- Toward the Formulation of Presupposition by Illative Combinatory Logic / Yuri Ishishita and Daisuke Bekki -- Abstract Automata and a Normal Form for Categorial Dependency Grammars / Boris Karlov -- Importing Montagovian Dynamics into Minimalism / Gregory M. Kobele -- CoTAGs and ACGs / Gregory M. Kobele and Jens Michaelis -- Gapping as Like-Category Coordination / Yusuke Kubota and Robert Levine -- L-Completeness of the Lambek Calculus with the Reversal Operation / Stepan Kuznetsov -- Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free / Zhe Lin -- Common Nouns as Types / Zhaohui Luo -- Extractability as the Deduction Theorem in Subdirectional Combinatory Logic / Hiroko Ozaki and Daisuke Bekki -- Agnostic Possible Worlds Semantics / Andrew Plummer and Carl Pollard -- Abstract Machines for Argumentation / Kurt Ranalter -- On the Completeness of Lambek Calculus with Respect to Cofinite Language Models / Alexey Sorokin -- 234-249 / Dot-types and Their Implementation / Tao Xue and Zhaohui Luo |
| Summary |
Annotation Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012. The 15 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections on logical foundation of syntactic formalisms, logics for semantics of lexical items, sentences, discourse and dialog, applications of these models to natural language processing, type theoretic, proof theoretic, model theoretic and other logically based formal methods for describing natural language syntax, semantics and pragmatics, as well as the implementation of natural language processing software relying on such methods |
| Analysis |
Computer science |
|
Logic design |
|
Artificial intelligence |
|
Translators (Computer programs) |
|
Computer vision |
|
Computational linguistics |
|
Mathematical Logic and Formal Languages |
|
Language Translation and Linguistics |
|
Logics and Meanings of Programs |
|
computerwetenschappen |
|
computer sciences |
|
taal |
|
language |
|
computertechnieken |
|
computer techniques |
|
taalwetenschappen |
|
linguistics |
|
patroonherkenning |
|
pattern recognition |
|
machine vision |
|
kunstmatige intelligentie |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and author index |
| In |
Springer eBooks |
| Subject |
Computational linguistics -- Congresses
|
|
Language and logic -- Congresses
|
|
Computer logic -- Congresses
|
|
Artificial intelligence.
|
|
Natural language processing (Computer science)
|
|
Computational linguistics.
|
|
Artificial Intelligence
|
|
Electronic Data Processing
|
|
Natural Language Processing
|
|
artificial intelligence.
|
|
computational linguistics.
|
|
Informatique.
|
|
Computational linguistics
|
|
Computer logic
|
|
Language and logic
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Béchet, Denis
|
|
Dikovsky, Alexander
|
| ISBN |
9783642312625 |
|
3642312624 |
|
9783642312618 |
|
3642312616 |
|
