KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings, Volume 20

Front Cover
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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Rational Models of Normal Logic Programs
1
A Disjunctive Logic Programming System Based on PROTEIN
19
The Teamwork Approach
43
Copyright

20 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information