Overview

This volume presents the proceedings of an internationalworkshop on the processing of declarative knowledge. Theworkshop was organized and hosted by the German ResearchCenter for Artificial Intelligence (DFKI) in cooperationwith the Association for Logic Programming (ALP) and theGesellschaft fr Informatik (GI). Knowledge is often represented using definite clauses,rules, constraints, functions, conceptual graphs, andrelated formalisms. The workshop addressed such high-levelrepresentations and their efficient implementation requiredfor declarative knowledge bases. Many of the papers treatrepresentation methods, mainly concept languages, and manytreat implementation methods, such as transformationtechniques and WAM-like abstract machines. Several papersdescribe implemented knowledge-processing systems. Thecompetition between procedural and declarative paradigms wasdiscussed in a panel session, and position statements of thepanelists are included in the volume.

Full Product Details

Author:   Harold Boley ,  Michael M. Richter
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1991 ed.
Volume:   567
Dimensions:   Width: 15.50cm , Height: 2.30cm , Length: 23.50cm
Weight:   1.390kg
ISBN:  

9783540550334

ISBN 10:   354055033
Pages:   440
Publication Date:   04 December 1991
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions