An Abstraction-Refinement Framework for Reasoning with Large Theories.

Julio César López-Hernández Konstantin Korovin

Published in: IJCAR (2018)

Keyphrases

theoretical framework
reasoning mechanisms
information systems
reasoning mechanism
data sets
genetic algorithm
decision making
bayesian networks
lightweight
meta level
analogical reasoning