A Normative Model of Classical Reasoning in Higher Order Languages.

Published in: Synth. (2006)

Keyphrases

higher order
prior knowledge
statistical model
databases
finite state machines
formal model
probabilistic model
high order
theoretical analysis
theoretical framework
mathematical model
high level
experimental data
objective function
process model
management system
pairwise
formal models