Feedback and Generalized Logic

E. S. Bainbridge

Published in: Inf. Control. (1976)

Keyphrases

modal logic
logic programming
predicate logic
relevance feedback
automated reasoning
classical logic
computational properties
case study
logical framework
set theory
decision trees
user feedback
visual feedback
positive feedback
proof theory
deductive reasoning