Formal Grammar

Name: Formal Grammar | 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Raffaella Bernardi Greg Kobele Sylvain Pogodalla(Herausgeber*in)

Springer (Verlag)

Erschienen am 1. August 2019

IX, 117 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-662-59648-7 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

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
References
A Topos-Based Approach to Building Language Ontologies*-12pt
1 Introduction
2 A Synopsis of Topos Theory
3 Building a Topos-Based Type System
3.1 From Montague's e to a Hierarchy of Types
3.2 From Type Hierarchy to an Ontology of Types
3.3 A Short Account of Dot Objects
4 Related Works and Future Perspectives
References
Structure Sensitive Tier Projection: Applications and Formal Properties
1 Introduction
2 Preliminaries
3 Structure-Sensitive TSL Languages
3.1 Strictly Local and Tier-Based Strictly Local Languages
3.2 Insufficiency of TSL
3.3 TSL as the Composition of Three Transductions
3.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 Work
References
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 Introduction
2 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

Systemvoraussetzungen

Als PDF speichern Als Link merken