product iamge

KI-98: Advances in Artificial Intelligence: 22nd Annual German Conference on Artificial Intelligence Bremen, Germany, September 15–17, 1998 Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Ernst Pöppel (auth.), Otthein Herzog, Andreas Günter (eds.)
Series: Lecture Notes in Computer Science 1504 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998

Language: English
Pages: 364
Tags: Artificial Intelligence (incl. Robotics); Health Informatics

Information processing and knowledge generation in the nervous system....Pages 1-2
Data mining with graphical models....Pages 3-16
Artificial intelligence for nature— Why knowledge representation and problem solving should play a key role in environmental decision support....Pages 17-30
The infinite variety of logics....Pages 31-53
Thinking in agents....Pages 55-55
Finding regions for local repair in partial constraint satisfaction....Pages 57-68
Needle’s eyes—A general decomposition principle for practical uses....Pages 69-80
OBDDs in heuristic search....Pages 81-92
Handling negative assumptions in a generic user modeling framework....Pages 93-104
From theory to practice in multiagent system design: The case of structural co-operation....Pages 105-116
Distributive concept exploration— A knowledge acquisition tool in formal concept analysis....Pages 117-128
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN -concept descriptions....Pages 129-140
Simultaneous quantifier elimination....Pages 141-152
Deductive verification of invariants of state-transition systems....Pages 153-164
GOLEX—Bridging the Gap between Logic (GOLOG) and a real robot....Pages 165-176
Structured reactive communication plans—....Pages 177-188
Towards a methodology for developing application-oriented report generation....Pages 189-200
Concepts for a diagnostic critiquing system in vague domains....Pages 201-212
The treatment of time in a case-based analysis of experimental medical studies....Pages 213-223
Formal representation of temporal items of the diagnostic and statistic manual of mental disorders....Pages 225-235
Part-whole reasoning in medical knowledge bases using description logics....Pages 237-248
An optimization approach on the integration of multiple images for classification....Pages 250-353