Coverart for item
The Resource KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings, Günther Görz, Steffen Hölldobler, (eds.)

KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings, Günther Görz, Steffen Hölldobler, (eds.)

Label
KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings
Title
KI-96
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
Contributor
Subject
Genre
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
Member of
Action
digitized
Cataloging source
OCLCE
Dewey number
006.3
Illustrations
illustrations
Index
index present
LC call number
  • Q334
  • QA76
LC item number
  • .G466 1996
  • .L4 no.1137
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1996
http://bibfra.me/vocab/lite/meetingName
German Conference on Artificial Intelligence
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1957-
http://library.link/vocab/relatedWorkOrContributorName
  • Görz, Günther
  • Hölldobler, Steffen
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
1137.
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Automatic theorem proving
  • Knowledge representation (Information theory)
  • Reasoning
  • Artificial intelligence
  • Automatic theorem proving
  • Knowledge representation (Information theory)
  • Reasoning
  • Kunstmatige intelligentie
  • Künstliche Intelligenz
  • Intelligence artificielle
  • Raisonnement
  • Théorèmes
  • Représentation des connaissances
  • Dresden <1996>
Label
KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings, Günther Görz, Steffen Hölldobler, (eds.)
Instantiates
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Rational Models of Normal Logic Programs / Sven-Erik Bornscheuer -- Massively Parallel Reasoning about Actions / Sven-Erik Bornscheuer and Torsten Seiler -- DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover / Chandrabose Aravindan -- Abstraction as a Heuristic to Guide Planning / Michael Contzen and Knut Moller -- Equational Theorem Proving Using Taxonomic Constraints / Jorg Denzinger -- Planning for Distributed Theorem Proving: The Teamwork Approach / Jorg Denzinger and Martin Kronenburg -- A Revision of Dependency-Directed Backtracking for JTMS / Truong Quoc Dung -- A Compiler-Interpreter-System for Decoding the User's Intention Within a Speech Understanding Application / Michael Ebersberger, Johannes Muller and Holger Stahl -- Cyclic Rules in Linear Connection Proofs / Bertram Fronhofer -- Optimized Nearest-Neighbor Classifiers Using Generated Instances / Matthias Fuchs and Andreas Abecker
Control code
681754441
Dimensions
unknown
Extent
1 online resource (xi, 386 pages)
Form of item
online
Isbn
9783540706694
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-61708-6
Other physical details
illustrations.
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)681754441
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings, Günther Görz, Steffen Hölldobler, (eds.)
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Rational Models of Normal Logic Programs / Sven-Erik Bornscheuer -- Massively Parallel Reasoning about Actions / Sven-Erik Bornscheuer and Torsten Seiler -- DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover / Chandrabose Aravindan -- Abstraction as a Heuristic to Guide Planning / Michael Contzen and Knut Moller -- Equational Theorem Proving Using Taxonomic Constraints / Jorg Denzinger -- Planning for Distributed Theorem Proving: The Teamwork Approach / Jorg Denzinger and Martin Kronenburg -- A Revision of Dependency-Directed Backtracking for JTMS / Truong Quoc Dung -- A Compiler-Interpreter-System for Decoding the User's Intention Within a Speech Understanding Application / Michael Ebersberger, Johannes Muller and Holger Stahl -- Cyclic Rules in Linear Connection Proofs / Bertram Fronhofer -- Optimized Nearest-Neighbor Classifiers Using Generated Instances / Matthias Fuchs and Andreas Abecker
Control code
681754441
Dimensions
unknown
Extent
1 online resource (xi, 386 pages)
Form of item
online
Isbn
9783540706694
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-61708-6
Other physical details
illustrations.
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)681754441
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...