Choose an application

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

This book constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011. Presented in this volume are 12 carefully selected papers, as well as the paper of the invited speaker Andreas Maletti. The papers cover such diverse topics as formal languages (string and tree transducers, grammar-independent syntactic structures, probabilistic and weighted context-free grammars, formalization of minimalist syntax), parsing and unification, lexical and compositional semantics, statistical language models, and theories of truth.

Mathematics --- Languages & Literatures --- Physical Sciences & Mathematics --- Mathematical Theory --- Philology & Linguistics --- Artificial intelligence --- Computer science. --- Computers. --- Computer logic. --- Mathematical logic. --- Computer science --- Computer Science. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Logics and Meanings of Programs. --- Theory of Computation. --- Mathematics of Computing. --- Mathematical Logic and Foundations. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Informatics --- Science --- Algebra --- Logic design. --- Information theory. --- Logic, Symbolic and mathematical. --- Data processing. --- Communication theory --- Communication --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer science—Mathematics.

Choose an application

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

Grammar, Comparative and general --- Language and logic --- Semantics --- Quantificateurs (Linguistique) --- Langage et logique --- Sémantique --- Quantifiers --- Quantificateurs (linguistique) --- Semantics. --- Language and logic. --- Quantifiers. --- Sémantique --- Sémantique. --- Langage et logique. --- Sémantique.

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 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009. The 25 revised full papers presented together with six tutorials and invited talks were carefully reviewed and selected from 57 submissions. The papers cover some of the most active areas of research on the frontiers between computation, logic, and linguistics, with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.

Mathematical logic --- Complex analysis --- Discrete mathematics --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- toegepaste informatica --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- wiskunde --- logica --- robots

Choose an application

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

This book constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011. Presented in this volume are 12 carefully selected papers, as well as the paper of the invited speaker Andreas Maletti. The papers cover such diverse topics as formal languages (string and tree transducers, grammar-independent syntactic structures, probabilistic and weighted context-free grammars, formalization of minimalist syntax), parsing and unification, lexical and compositional semantics, statistical language models, and theories of truth.

Mathematical logic --- Logic --- Algebra --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- algebra --- toegepaste informatica --- informatica --- ontwerpen --- programmeren (informatica) --- wiskunde

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 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009. The 25 revised full papers presented together with six tutorials and invited talks were carefully reviewed and selected from 57 submissions. The papers cover some of the most active areas of research on the frontiers between computation, logic, and linguistics, with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.

Logic, Symbolic and mathematical --- Mathematical Theory --- Computer Science --- Mechanical Engineering - General --- Mathematics --- Mechanical Engineering --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Information Technology --- Artificial Intelligence --- Math --- Computer science. --- Computers. --- Algorithms. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Theory of Computation. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Mathematics of Computing. --- Discrete Mathematics in Computer Science. --- Mathematics. --- 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 --- Computer mathematics --- Discrete mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Foundations --- Information theory. --- Computer software. --- Computational complexity. --- Artificial Intelligence. --- Complexity, Computational --- Software, Computer --- Communication theory --- Communication --- Computer science—Mathematics.