Graph model of LAMBDA in Higher Order Logic.

Kim Dam Petersen

Published in: HUG (1993)

Keyphrases

graph model
higher order logic
higher order
theorem prover
conditional logic
logical framework
bipartite graph
graph structure
clustering method
default reasoning
fixed point
language model
belief revision
similarity measure
weighted graph
first order logic
feature construction
graphical models
pairwise