Proof Pearl: From Concrete to Functional Unparsing.

Jean-François Monin

Published in: TPHOLs (2004)

Keyphrases

functional language
belief revision
proof planning
neural network
expert systems
theorem proving
causal models
multi agent systems
digital libraries
conditional independence
linear logic