Author:Mateja Jamnik

Keyphrases

Antipatterns, automated theorem proving, Bayesian optimisation, diagrammatic reasoning, Heuristic Configuration, knowledge representation, Ontologies, premise selection, Sumo Inference Engine (SInE).