TY - BOOK AU - Foret,Annie AU - Morrill,Glyn AU - Muskens,Reinhard AU - Osswald,Rainer AU - Pogodalla,Sylvain ED - SpringerLink (Online service) TI - Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings T2 - Theoretical Computer Science and General Issues SN - 9783662530429 AV - QA8.9-10.3 U1 - 005.131 23 PY - 2016/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg, Imprint: Springer KW - Mathematical logic KW - Computer science—Mathematics KW - Artificial intelligence KW - Computers KW - Computer logic KW - Mathematical Logic and Formal Languages KW - Symbolic and Algebraic Manipulation KW - Artificial Intelligence KW - Computation by Abstract Devices KW - Logics and Meanings of Programs N1 - Formal Grammar -- Mathematical Linguistics -- Application of formal and mathematical methods -- Natural Language N2 - This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 submissions. The focus of papers are as follows: 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 Mathematical foundations of statistical approaches to linguistic analysis UR - https://doi.org/10.1007/978-3-662-53042-9 ER -