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 7th International  Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012. The 15 revised full papers presented  together with 2 invited talks were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections on  logical foundation of syntactic formalisms,  logics for semantics of lexical items, sentences, discourse and dialog, applications of these models to natural language processing, type theoretic, proof theoretic, model theoretic and other logically based formal methods for describing natural language syntax, semantics and pragmatics, as well as the implementation of natural language processing software relying on such methods.

Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- Information Technology --- Artificial Intelligence --- Computational linguistics --- Language and logic --- Computer logic --- Computer science. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computational linguistics. --- Computer graphics. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Language Translation and Linguistics. --- Logics and Meanings of Programs. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Computational Linguistics. --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Informatics --- Science --- Digital techniques --- Data processing --- Natural language processing (Computer science). --- Logic design. --- Computer vision. --- Artificial Intelligence. --- Natural Language Processing (NLP). --- Machine vision --- Vision, Computer --- Artificial intelligence --- Pattern recognition systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- NLP (Computer science) --- Human-computer interaction --- Semantic computing --- Optical data processing. --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Optical equipment --- Machine theory. --- Image processing—Digital techniques. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics