TY - BOOK ID - 8656094 TI - Formal Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings AU - Foret, Annie. AU - Morrill, Glyn. AU - Muskens, Reinhard. AU - Osswald, Rainer. AU - Pogodalla, Sylvain. PY - 2016 SN - 3662530414 3662530422 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer science. KW - Computers. KW - Computer logic. KW - Mathematical logic. KW - Computer science KW - Artificial intelligence. KW - Computer Science. KW - Mathematical Logic and Formal Languages. KW - Symbolic and Algebraic Manipulation. KW - Artificial Intelligence (incl. Robotics). KW - Computation by Abstract Devices. KW - Logics and Meanings of Programs. KW - Mathematics. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Computer mathematics KW - Discrete mathematics KW - Electronic data processing KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Computer science logic KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Informatics KW - Mathematics KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Logic, Symbolic and mathematical KW - Computer systems KW - Cybernetics KW - Calculators KW - Cyberspace KW - Science KW - Algebra KW - Logic design. KW - Artificial Intelligence. KW - Data processing. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Computational linguistics KW - Computer science—Mathematics. KW - Machine theory. KW - Formal Languages and Automata Theory. KW - Theory of Computation. KW - Computer Science Logic and Foundations of Programming. KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Recursive functions KW - Robotics UR - https://www.unicat.be/uniCat?func=search&query=sysid:8656094 AB - 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. ER -