KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings

Resource Information

The work KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings represents a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.

Label

KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings

Title remainder

advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings

Statement of responsibility

Günther Görz, Steffen Hölldobler, (eds.)

Creator

• German Conference on Artificial Intelligence, 1996

Contributor

• Hölldobler, Steffen, 1957-
• Görz, Günther

Subject

• Artificial intelligence -- Congresses
• Automatic theorem proving
• Automatic theorem proving -- Congresses
• Conference papers and proceedings
• Curitiba (1996)
• Dresden (1996)
• Dresden <1996>
• Intelligence artificielle -- Congrès
• Intelligence artificielle -- Congrès
• Artificial intelligence
• Knowledge representation (Information theory) -- Congresses
• Kongreß -- Curitiba -- 1996
• Kongreß -- Dresden -- 1996
• Kunstmatige intelligentie
• Künstliche Intelligenz
• Raisonnement -- Congrès
• Raisonnement -- Congrès
• Reasoning
• Reasoning -- Congresses
• Représentation des connaissances -- Congrès
• Représentation des connaissances -- Congrès
• Théorèmes -- Démonstration automatique -- Congrès
• Théorèmes -- Démonstration automatique | Congrès
• démonstration théorème
• incertitude
• intelligence artificielle
• neuroscience
• programmation logique
• raisonnement
• représentation connaissance
• science cognitive
• système multi-agent
• Knowledge representation (Information theory)

Genre

• Curitiba (1996)
• Dresden (1996)
• Kongreß
• Congresses
• Conference papers and proceedings
• Congrès

Language

eng

Summary

"This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996. The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning."--PUBLISHER'S WEBSITE

Member of

• Lecture notes in computer science, Lecture notes in artificial intelligence
• Lecture notes in computer science, 1137

Cataloging source

DLC

Illustrations

illustrations

Index

index present

LC call number

• Q334
• QA76

LC item number

• .G466 1996
• .L4 no.1137

Literary form

non fiction

Nature of contents

bibliography

Series statement

• Lecture notes in computer science
• Lecture notes in artificial intelligence

Series volume

1137.