Introspective Metatheoretic Reasoning.

Fausto Giunchiglia Alessandro Cimatti

Published in: META (1994)

Keyphrases

knowledge base
spatial reasoning
knowledge representation
reasoning systems
learning algorithm
qualitative reasoning
knowledge representation and reasoning
real world
machine learning
search engine
meta level
reasoning tasks
scientific discovery
resource bounded
rule based reasoning
reasoning engine