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 f}r 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...