Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007478302/catalog> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- catalog abstract ""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.".
- catalog contributor b10326473.
- catalog contributor b10326474.
- catalog contributor b10326475.
- catalog created "c1996.".
- catalog date "1996".
- catalog date "c1996.".
- catalog dateCopyrighted "c1996.".
- catalog description ""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.".
- catalog description "Includes bibliographical references and index.".
- catalog description "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.".
- catalog extent "xi, 386 p. :".
- catalog hasFormat "KI-96.".
- catalog identifier "3540617086 (pbk. : alk. paper)".
- catalog isFormatOf "KI-96.".
- catalog isPartOf "Lecture notes in computer science ; 1137. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 1137.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1996".
- catalog issued "c1996.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog relation "KI-96.".
- catalog subject "006.3 20".
- catalog subject "Artificial intelligence Congresses.".
- catalog subject "Automatic theorem proving Congresses.".
- catalog subject "Knowledge representation (Information theory) Congresses.".
- catalog subject "Q334 .G466 1996".
- catalog subject "Reasoning Congresses.".
- catalog tableOfContents "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.".
- catalog title "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.).".
- catalog type "Conference proceedings. fast".
- catalog type "Curitiba (1996) swd".
- catalog type "Dresden (1996) swd".
- catalog type "text".