KI-97: Advances in Artificial Intelligence

KI-97: Advances in Artificial Intelligence
Author :
Publisher : Springer Science & Business Media
Total Pages : 68
Release :
ISBN-10 : 3540634932
ISBN-13 : 9783540634935
Rating : 4/5 (32 Downloads)

Book Synopsis KI-97: Advances in Artificial Intelligence by : Gerhard Brewka

Download or read book KI-97: Advances in Artificial Intelligence written by Gerhard Brewka and published by Springer Science & Business Media. This book was released on 1997-08-27 with total page 68 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997. The volume presents revised versions of 26 full papers and 10 posters selected from around 70 submissions from more than 15 countries. Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge representation, spatial reasoning, computational linguistics, computer perception and neural nets, and on planning, diagnosis and search.


KI-97: Advances in Artificial Intelligence Related Books

KI-97: Advances in Artificial Intelligence
Language: en
Pages: 68
Authors: Gerhard Brewka
Categories: Computers
Type: BOOK - Published: 1997-08-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1
SOFSEM '97: Theory and Practice of Informatics
Language: en
Pages: 596
Authors: Frantisek Plasil
Categories: Computers
Type: BOOK - Published: 1997-11-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Rep
KI-97: Advances in Artificial Intelligence
Language: en
Pages: 418
Authors: Gerhard Brewka
Categories: Computers
Type: BOOK - Published: 1997-08-27 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1
Lectures on Proof Verification and Approximation Algorithms
Language: en
Pages: 370
Authors: Ernst W. Mayr
Categories: Computers
Type: BOOK - Published: 1998-02-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This is a self-contained presentation of the enormous recent progress on the interplay between and applications of the theory of probabilistically checkable pro
Principles of Document Processing
Language: en
Pages: 218
Authors: Charles Nicholas
Categories: Computers
Type: BOOK - Published: 1997-09-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Principles of Document Processing, PODP'96, held