Processing Declarative Knowledge

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.