KI-98: Advances in Artificial Intelligence: 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings (Lecture Notes in Computer Science, 1504)

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. 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 Otthein Herzog, Andreas Günter (eds.). Includes Bibliographical References And Index.