عنوان

KI-96 :

3540706690

9783540706694

b566737

KI-96 :

[Book]

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.).

Berlin ; New York

Springer

©1996.

(xi, 386 pages) : illustrations

Lecture notes in computer science, 1137.; Lecture notes in computer science., Lecture notes in artificial intelligence.

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.

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.

Artificial intelligence -- Congresses.

Automatic theorem proving -- Congresses.

Knowledge representation (Information theory) -- Congresses.

Günther Görz, Steffen Hölldobler, (eds.).

Günther Görz

Steffen Hölldobler

[Book]

Y