Processing Declarative Knowledge 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. Full description
"synopsis" may belong to another edition of this title.