Cover Image

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

Show other versions (1)

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...

Full description

Bibliographic Details
Corporate Authors: German Conference on Artificial Intelligence Dresden, Germany, SpringerLink (Online service)
Other Authors: Görz, Günther, Hölldobler, Steffen, 1957-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1996]
Series:Lecture notes in computer science ; 1137.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Artificial intelligence > Congresses.
Automatic theorem proving > Congresses.
Knowledge representation (Information theory) > Congresses.
Reasoning > Congresses.
programmation logique.
incertitude.
raisonnement.
représentation connaissance.
démonstration théorème.
neuroscience.
système multi-agent.
science cognitive.
intelligence artificielle.
Intelligence artificielle > Congrès.
Raisonnement > Congrès.
Représentation des connaissances > Congrès.
Théorèmes > Démonstration automatique > Congrès.
Artificial intelligence.
Automatic theorem proving.
Knowledge representation (Information theory)
Reasoning.
Kunstmatige intelligentie.
Künstliche Intelligenz.
Dresden <1996>.
Electronic books.
Conference proceedings.
Curitiba (1996)
Dresden (1996)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76 .L4 no.1137
 
Call Number Status Get It
QA76 .L4 no.1137 Available