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.
The Resource
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.)
- 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)
- 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
- 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.
Context
Context of KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedingsWork of
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/0h9dGlzDRFM/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/0h9dGlzDRFM/">KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Work KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/0h9dGlzDRFM/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/0h9dGlzDRFM/">KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>