Gentzen systems, resolution, and literal trees.

Daniel J. Dougherty

Published in: Notre Dame J. Formal Log. (1986)

Keyphrases

complex systems
management system
computer systems
information retrieval
e learning
high quality
expert systems
query processing
high resolution
software development
knowledge based systems
building blocks
learning systems
tree structure
horn clauses