Choose an application

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

This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, KI 2008, held in Kaiserslautern, Germany, September 2008. The 15 revised full papers presented together with 2 invited contributions and 30 posters were carefully reviewed and selected from 77 submissions. The papers cover important areas such as pattern recognition, multi-agent systems, machine learning, natural language processing, constraint reasoning, knowledge representation and management, planning, and temporal reasoning.

Artificial intelligence --- Cybernetics --- Information Technology --- Artificial Intelligence --- Artificial intelligence. --- Data mining. --- Computer science. --- Natural language processing (Computer science). --- Multimedia systems. --- Information storage and retrieva. --- Artificial Intelligence. --- Data Mining and Knowledge Discovery. --- Mathematical Logic and Formal Languages. --- Natural Language Processing (NLP). --- Multimedia Information Systems. --- Information Storage and Retrieval. --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Information storage and retrieval systems --- NLP (Computer science) --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Informatics --- Science --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- 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 --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Mathematical logic. --- Multimedia information systems. --- Information storage and retrieval. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Translators (Computer programs) --- Translating programs (Computer programs) --- Computer programs --- Systems software --- Macro processors

Choose an application

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

This book constitutes the refereed proceedings of the 22nd Annual German Conference on Artificial Intelligence, KI-98, held in Bremen, Germany, in September 1998. The 16 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. Also included are three invited papers and abstracts of two invited talks, as well as an appendix containing up-to-date descriptions of German AI projects. Thus the volume gives a unique overview of AI research in Germany.

Artificial intelligence --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Health informatics. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Health Informatics. --- Medical records --- Artificial Intelligence. --- Data processing. --- EHR systems --- EHR technology --- EHRs (Electronic health records) --- Electronic health records --- Electronic medical records --- EMR systems --- EMRs (Electronic medical records) --- Information storage and retrieval systems --- 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 --- Medical care --- Clinical informatics --- Health informatics --- Medical information science --- Information science --- Medicine --- Data processing

Choose an application

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

The 30th Annual German Conference on Arti?cial Intelligence (KI-2007) took place in the University of Osnabru ¨ck, September 10–13, 2007. In this volume, you will ?nd papers or abstracts of its six invited talks, 25 full papers, and 21 posters. The full papers were selected from 81 submissions, resulting in an acceptance rate of 32%. AsusualataKIconference,anentiredaywasreservedfortargetedworkshops – ten of them this year – and two tutorials. They are not coveredin this volume, but the conference Web sitewww.ki2007.uos.de will keep providing information and references to their contents. Some topic clusters are apparent in the overall conference program, which re?ect recent trends in AI research, convolved with foci of work in Germany and Europe. Examples are learning and data mining, robotics and perception, knowledge representation and reasoning, planning and search – all of them including a healthy number of approaches dealing with uncertainty, contradiction, and incompleteness of knowledge. All in all, KI-2007 provided a cross section of modern AI research and application work. KI-2007 also constituted a “small anniversary,” being the 30th exemplar of its kind. The invited talk by Wolfgang Bibel (accompanied by a paper in this volume) picked up on that occasion by recalling what the ?eld of automated deduction was like 30 and more years ago – in general, and in Germany. He also paid homage to Gerd Veenker, who organizedthe ?rst KI conference (which had a di?erent name at the time) in 1975 and whose ?eld of research was deduction.

Artificial intelligence --- Intelligence artificielle --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Mechanical Engineering --- Engineering & Applied Sciences --- Information Technology --- Artificial Intelligence --- Self-organizing systems --- Computer science. --- Mathematical logic. --- Data mining. --- Artificial intelligence. --- Computational linguistics. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Data Mining and Knowledge Discovery. --- Mathematical Logic and Formal Languages. --- Language Translation and Linguistics. --- 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 --- Electronic data processing --- Logic machines --- Machine theory --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Data processing --- Natural language processing (Computer science). --- Artificial Intelligence. --- Natural Language Processing (NLP). --- NLP (Computer science) --- Human-computer interaction --- Semantic computing

Choose an application

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

This book constitutes the refereed proceedings of the 35th Annual German Conference on Artificial Intelligence, KI 2012, held in Saarbrücken, Germany, in September 2012. The 19 revised full papers presented together with 9 short papers were carefully reviewed and selected from 57 submissions. The papers contain research results on theory and application of all aspects of AI.

Artificial intelligence --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- Information Technology --- Artificial Intelligence --- Computational intelligence --- Computer science. --- Mathematical logic. --- Information storage and retrieval. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computer simulation. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Storage and Retrieval. --- Simulation and Modeling. --- User Interfaces and Human Computer Interaction. --- Mathematical Logic and Formal Languages. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- 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 --- Fifth generation computers --- Neural computers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Artificial Intelligence. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval

Choose an application

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

Artificial intelligence. --- Robotics. --- Automation. --- Artificial Intelligence. --- Robotics and Automation. --- Artificial intelligence