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.