Multi-level Meta-reasoning with Higher-Order Abstract Syntax.

Alberto Momigliano Simon Ambler

Published in: FoSSaCS (2003)

Keyphrases

meta reasoning
higher order
high level
pairwise
control knowledge
case based planning
natural language
markov random field
machine learning
artificial intelligence
domain knowledge
domain specific
domain independent