Partial Recursive Functions in Higher-Order Logic.

Alexander Krauss

Published in: IJCAR (2006)

Keyphrases

recursive functions
higher order logic
higher order
inductive inference
theorem prover
conditional logic
logical framework
decision trees
data representation
feature selection
pairwise
object oriented
belief revision
inference rules
default reasoning
reasoning systems