TY - BOOK ID - 2611998 TI - KI-96: advances in artificial intelligence AU - Görz, Günther AU - Hölldobler, Steffen AU - Annual German conference on artificial intelligence. 20th, (September 1996 : Dresden, Germany) PY - 1996 VL - 1137 SN - 3540617086 3540706690 9783540617082 PB - Berlin: Springer, DB - UniCat KW - Artificial intelligence KW - Automatic theorem proving KW - Knowledge representation (Information theory) KW - Reasoning KW - Congresses. KW - Congresses KW - Artificial intelligence. KW - Artificial Intelligence. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Artificial intelligence - Congresses. KW - Automatic theorem proving - Congresses. KW - Knowledge representation (Information theory) - Congresses KW - Reasoning - Congresses. UR - https://www.unicat.be/uniCat?func=search&query=sysid:2611998 AB - This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996. The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning. ER -