Natural Deduction and Context as (Constructive) Modality.

Valeria de Paiva

Published in: CONTEXT (2003)

Keyphrases

natural deduction
medical images
contextual information
context aware
multi modal
context sensitive
theorem prover
bayesian networks
programming language
fixed point
theorem proving
context dependent