Contextual Deduction Theorems.

James G. Raftery

Published in: Stud Logica (2011)

Keyphrases

contextual information
context sensitive
inference rules
theorem proving
proof search
image processing
theorem prover
context dependent
data sets
mobile devices
automated deduction