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)

Human sciences (algemeen)