Choose an application

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

This book contains the revised papers presented at the  8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out of 137 submissions presented together with  2 invited talks are organized in five sections. The first section contains the invited contributions. The second, third and fourth sections incorporate submitted contributions to the three thematic workshops that were hosted by the Colloquium and addressed the following topics: inquisitiveness; formal semantics and pragmatics of sign languages, formal semantic evidence. The final section presents the submitted contributions to the general program.

Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Language and logic --- Semantics --- Computer logic --- Computer science. --- Mathematical logic. --- Artificial intelligence. --- Computational linguistics. --- Computer graphics. --- Application software. --- Computers and civilization. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Language Translation and Linguistics. --- Artificial Intelligence (incl. Robotics). --- Computer Appl. in Arts and Humanities. --- Computers and Society. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Civilization and computers --- Civilization --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- 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 --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Digital techniques --- Data processing --- Natural language processing (Computer science). --- Information systems. --- Computer vision. --- Natural Language Processing (NLP). --- Artificial Intelligence. --- Machine vision --- Vision, Computer --- Artificial intelligence --- Pattern recognition systems --- NLP (Computer science) --- Human-computer interaction --- Semantic computing --- Optical data processing. --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Optical equipment --- Machine theory. --- Digital humanities. --- Image processing—Digital techniques. --- Formal Languages and Automata Theory. --- Digital Humanities. --- Humanities --- 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)

Human sciences (algemeen) --- Mathematical logic --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- Linguistics --- grafische vormgeving --- informatica --- maatschappij --- sociale wetenschappen --- vertalen --- wiskunde --- robots