This volume presents the proceedings of a workshop on the processing of declarative knowledge. The workshop addressed the implementation of high-level knowledge representation using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms.
Harold Boley
Concept Languages Declarative Knowledge Deklaratives Wissen Knowledge Representation Logic Programming Transformation Techniques Transformationstechniken Wissens-Darstellung artificial intelligence knowledge knowledge base logic programming