Extracting Information from Resolution Proof Trees.

David C. Luckham Nils J. Nilsson

Published in: Artif. Intell. (1971)

Keyphrases

information extraction
real time
user interaction
databases
high level
relational databases
user interface
computer systems
higher level
information sources