Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 1137. | Lecture notes in computer science. Lecture notes in artificial intelligence.Publication details: Berlin ; New York : Springer, ©1996.Description: 1 online resource (xi, 386 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540706694
  • 3540706690
Subject(s): Genre/Form: Additional physical formats: Print version:: KI-96.DDC classification:
  • 006.3 20
LOC classification:
  • Q334 .G466 1996
  • QA76 .L4 no.1137
Other classification:
  • 54.72
  • SS 1996
  • SS 4800
  • ST 285
  • ST 300
  • 28
  • DAT 700f
Online resources:
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.
Action note:
  • digitized 2010 HathiTrust Digital Library committed to preserve
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

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.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL

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

http://purl.oclc.org/DLF/benchrepro0212

digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL

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.

Print version record.

Powered by Koha