Processing Declarative Knowledge: International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991. Proceedings

This volume presents the proceedings of an international

workshop on the processing of declarative knowledge. The

workshop was organized and hosted by the German Research

Center for Artificial Intelligence (DFKI) in cooperation

with the Association for Logic Programming (ALP) and the

Gesellschaft f}r Informatik (GI).

Knowledge is often represented using definite clauses,

rules, constraints, functions, conceptual graphs, and

related formalisms. The workshop addressed such high-level

representations and their efficient implementation required

for declarative knowledge bases. Many of the papers treat

representation methods, mainly concept languages, and many

treat implementation methods, such as transformation

techniques and WAM-like abstract machines. Several papers

describe implemented knowledge-processing systems. The

competition between procedural and declarative paradigms was

discussed in a panel session, and position statements of the

panelists are included in the volume.