KI-98: Advances in Artificial Intelligence 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings /
KI-98: Advances in Artificial Intelligence 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings / [electronic resource] :
edited by Otthein Herzog, Andreas Günter.
- 1st ed. 1998.
- XII, 364 p. online resource.
- Lecture Notes in Artificial Intelligence, 1504 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 1504 .
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.
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.
9783540496564
10.1007/BFb0095422 doi
Artificial intelligence.
Medical informatics.
Artificial Intelligence.
Health Informatics.
Q334-342 TA347.A78
006.3
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.
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.
9783540496564
10.1007/BFb0095422 doi
Artificial intelligence.
Medical informatics.
Artificial Intelligence.
Health Informatics.
Q334-342 TA347.A78
006.3