Login / Signup

Towards an Abstraction-Refinement Framework for Reasoning with Large Theories.

Julio César López-HernándezKonstantin Korovin
Published in: IWIL@LPAR (2017)
Keyphrases
  • theoretical framework
  • main contribution
  • knowledge base
  • high level
  • domain knowledge
  • knowledge representation
  • meta level
  • design theory
  • machine learning
  • search algorithm
  • case based reasoning
  • logical framework