KI-98: Advances in Artificial Intelligence

Information processing and knowledge generation in the nervous system.- Data mining with graphical models.- Artificial intelligence for nature- Why knowledge representation and problem solving should play a key role in environmental decision support.- The infinite variety of logics.- Thinking in agents.- Finding regions for local repair in partial constraint satisfaction.- Needle's eyes-A general decomposition principle for practical uses.- OBDDs in heuristic search.- Handling negative assumptions in a generic user modeling framework.- From theory to practice in multiagent system design: The case of structural co-operation.- Distributive concept exploration- A knowledge acquisition tool in formal concept analysis.- Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions.- Simultaneous quantifier elimination.- Deductive verification of invariants of state-transition systems.- GOLEX-Bridging the Gap between Logic (GOLOG) and a real robot.- Structured reactive communication plans-.- Towards a methodology for developing application-oriented report generation.- Concepts for a diagnostic critiquing system in vague domains.- The treatment of time in a case-based analysis of experimental medical studies.- Formal representation of temporal items of the diagnostic and statistic manual of mental disorders.- Part-whole reasoning in medical knowledge bases using description logics.- An optimization approach on the integration of multiple images for classification.