Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 22nd International Conference on Formal Grammar, FG 2017, collocated with the European Summer School in Logic, Language and Information in July 2017. The 9 contributed papers were carefully reviewed and selected from 14 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.

Computer science. --- Mathematical logic. --- Data mining. --- Text processing (Computer science). --- Computational linguistics. --- Image processing. --- Application software. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Language Translation and Linguistics. --- Document Preparation and Text Processing. --- Image Processing and Computer Vision. --- Computer Appl. in Social and Behavioral Sciences. --- Data Mining and Knowledge Discovery. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Pictorial data processing --- Picture processing --- Processing, Image --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Processing, Text (Computer science) --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Informatics --- Data processing --- Natural language processing (Computer science). --- Computer vision. --- Social sciences --- Natural Language Processing (NLP). --- Data processing. --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Pattern recognition systems --- NLP (Computer science) --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Database searching --- Science --- Logic, Symbolic and mathematical. --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer software --- Optical data processing. --- Optical computing --- Visual data processing --- Bionics --- Integrated optics --- Photonics --- Computers --- Optical equipment --- Machine theory. --- Social sciences—Data processing. --- Formal Languages and Automata Theory. --- Computer Vision. --- Computer Application in Social and Behavioral Sciences. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer science. --- Computers. --- Computer logic. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Artificial Intelligence (incl. Robotics). --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer science logic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Informatics --- Mathematics --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Science --- Algebra --- Logic design. --- Artificial Intelligence. --- Data processing. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computational linguistics --- Computer science—Mathematics. --- Machine theory. --- Formal Languages and Automata Theory. --- Theory of Computation. --- Computer Science Logic and Foundations of Programming. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The European Summer School in Logic, Language and Information (ESSLLI) takes place every year, each time at a di?erent location in Europe. With its focus on the largeinterdisciplinaryareawhere linguistics,logic andcomputation converge, it has become very popular since it started in 1989, attracting large crowds of students. ESSLLI is where everyone in the ?eld meets, teaches, takes courses, gives talks, dances all night, and generally has a good time. One of the enjoyable features of the School is its recurring Student Session, organized by students along the lines of a conference. The speakers are students too, who are eager to get a chance to present their work. They face sti? com- tition to get their talks accepted, as the number of papers that is sent in each year is high and acceptance rates low. In my experience many of the selected talks contain fresh and surprising insights and are a pleasure to attend. But the reader may judge the quality of the Student Session for himself, as this volume contains a selection of papers from its 2008 and 2009 installments, the ?rstheld in Hamburg,the secondin Bordeaux.The book is divided into four parts.

Computer science --- Computer logic --- Programming languages (Electronic computers) --- Mechanical Engineering --- Engineering & Applied Sciences --- Computer Science --- Mechanical Engineering - General --- Mathematics --- Information Technology --- Artificial Intelligence --- Computer science. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers