KI-98: Advances in Artificial Intelligence : 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings / edited by Otthein Herzog, Andreas Günter.

Format:

Book

Contributor:

Herzog, O. (Otthein), editor.

Günter, A. (Andreas), editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 1504.

Lecture Notes in Artificial Intelligence ; 1504

Language:

English

Subjects (All):

Artificial intelligence.

Medical informatics.

Artificial Intelligence.

Health Informatics.

Local Subjects:

Artificial Intelligence.

Health Informatics.

Physical Description:

1 online resource (XII, 364 pages).

Edition:

First edition 1998.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.

System Details:

text file PDF

Summary:

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.

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-540-49656-4

9783540496564

Access Restriction:

Restricted for use by site license.