Formal Grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings /

Formal Grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings / FG 2019 Annie Foret, Greg Kobele, Sylvain Pogodalla (eds.). - 1 online resource : illustrations (some color) - Lecture notes in computer science, 11668 0302-9743 ; FoLLI publications on logic, language and information Serienbezeichnung . - Lecture notes in computer science ; 11668. Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. LNCS sublibrary. SL 1, Theoretical computer science and general issues. .

Includes bibliographical references and index.

Intro; Preface; Organization; What Inductive Biases Enable Human-Like Syntactic Generalization? (Abstract of Invited Talk); Contents; A Purely Surface-Oriented Approach to Handling Arabic Morphology; 1 Introduction; 2 Arabic Morphology: Theoretical and Computational Approaches; 3 A Purely Surface-Oriented Approach; 3.1 Glued Strings; 3.2 Occurrence; 3.3 Morphological Class; 3.4 Discontinuity, Reduplication and Handlers; 3.5 Morphs and Morphemes; 4 Arabic Morphology Within the Proposed Framework; 4.1 Root and Pattern Matching; 4.2 Morphophonemic Alternations; 5 Results and Future Work 3.3 TSL as the Composition of Three Transductions3.4 Input-Sensitive TSL; 4 Formal Analysis; 4.1 Relations to Other Subregular Classes; 4.2 Closure Properties; 5 Intersection Closure of TSL and ITSL; 5.1 Intersection Closure of TSL Languages; 5.2 Intersection Closure of ITSL Languages; 6 Learnability Considerations; 7 Conclusions; References; Quantificational Subordination as Anaphora to a Function; 1 Introduction; 2 Type-Theoretical Semantics; 3 The Proposal; 3.1 Syntax and Semantics; 3.2 Derivations; 4 Telescoping; 4.1 Covert Subordination; 4.2 Constraints; 5 Comparison with TTS 6 Discussion and Future WorkReferences; Undecidability of a Newly Proposed Calculus for CatLog3; 1 Introduction; 2 The Calculus; 3 The Bracket-Free System and the Projection; 4 Undecidability Proof; 5 Conclusion; References; Proof-Theoretic Aspects of Hybrid Type-Logical Grammars; 1 Introduction; 2 Natural Deduction; 3 Normalisation; 4 Proof Nets; 4.1 Proof Structures; 4.2 Abstract Proof Structures; 4.3 Structural Rules and Contractions; 5 Correctness of the Proof Net Calculus; 6 Complexity; 7 Conclusion; References; On the Computational Complexity of Head Movement and Affix Hopping 1 Introduction2 MG Without Head Movement; 2.1 Parsing with Succinct MG; 3 MG with Head Movement; 4 Improved Parsing of MG with Head Movement; 5 ATB Head Movement; 6 Affix Hopping; 7 Conclusion; References; Author Index

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 24th International Conference on Formal Grammar, FG 2019, held in Riga, Latvia, in August 2019, in conjunction with the 31st European Summer School in Logic, Language and Information, ESSLI 2019. The 7 full papers presented were carefully reviewed and selected from 11 submissions. They present new and original research on formal grammar, mathematical linguistics, and the application of formal and mathematical methods to the study of natural language and focus on topics such as formal and computational phonology, morphology, syntax, semantics, and pragmatics; model-theoretic and proof-theoretic methods in linguistics; logical aspects of linguistic structure; constraint-based and resource-sensitive approaches to grammar; learnability of formal grammar; integration of stochastic and symbolic models of grammar; foundational, methodological, and architectural issues in grammar and linguistics; and mathematical foundations of statistical approaches to linguistic analysis.

9783662596487 3662596482 3662596474 9783662596470 9783662596494 3662596490

10.1007/978-3-662-59648-7 doi

com.springer.onix.9783662596487 Springer Nature

GBB9F5390 bnb

019492582 Uk

Computational linguistics--Congresses.
Mathematical linguistics--Congresses.
Formal languages--Congresses.
Computational linguistics.
Formal languages.
Mathematical linguistics.

Electronic books.
Electronic books.
Conference papers and proceedings.
Conference papers and proceedings.

P98 / .I58 2019eb

005.131 006.3/5

Powered by Koha