|
" KI-96 : "
Günther Görz, Steffen Hölldobler, (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
746787
|
| Doc. No
|
:
|
b566737
|
| Main Entry
|
:
|
Günther Görz, Steffen Hölldobler, (eds.).
|
| Title & Author
|
:
|
KI-96 : : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings\ Günther Görz, Steffen Hölldobler, (eds.).
|
| Publication Statement
|
:
|
Berlin ; New York : Springer, ©1996.
|
| Series Statement
|
:
|
Lecture notes in computer science, 1137.; Lecture notes in computer science., Lecture notes in artificial intelligence.
|
| Page. NO
|
:
|
(xi, 386 pages) : illustrations
|
| ISBN
|
:
|
3540706690
|
|
|
:
|
: 9783540706694
|
| Contents
|
:
|
Rational Models of Normal Logic Programs / Sven-Erik Bornscheuer --; Massively Parallel Reasoning about Actions / Sven-Erik Bornscheuer and Torsten Seiler --; DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover / Chandrabose Aravindan --; Abstraction as a Heuristic to Guide Planning / Michael Contzen and Knut Moller --; Equational Theorem Proving Using Taxonomic Constraints / Jorg Denzinger --; Planning for Distributed Theorem Proving: The Teamwork Approach / Jorg Denzinger and Martin Kronenburg --; A Revision of Dependency-Directed Backtracking for JTMS / Truong Quoc Dung --; A Compiler-Interpreter-System for Decoding the User's Intention Within a Speech Understanding Application / Michael Ebersberger, Johannes Muller and Holger Stahl --; Cyclic Rules in Linear Connection Proofs / Bertram Fronhofer --; Optimized Nearest-Neighbor Classifiers Using Generated Instances / Matthias Fuchs and Andreas Abecker.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Artificial intelligence -- Congresses.
|
| Subject
|
:
|
Automatic theorem proving -- Congresses.
|
| Subject
|
:
|
Knowledge representation (Information theory) -- Congresses.
|
| Added Entry
|
:
|
Günther Görz
|
|
|
:
|
Steffen Hölldobler
|
| |