Composable Packages for Higher Order Logic Theories.

Published in: VERIFY@IJCAR (2010)

Keyphrases

supervised learning
higher order logic
higher order
theorem prover
conditional logic
logical framework
theoretical framework
machine learning
decision problems
multi agent
software engineering
probabilistic model
data representation
inference rules
theorem proving
high level
decision trees
artificial intelligence