HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Mateja Jamnik

Publications
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving
Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean Holden and Lawrence C. Paulson
In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Reasoning with Concept Diagrams about Antipatterns
Zohreh Shams, Mateja Jamnik, Gem Stapleton and Yuri Sato
In:IWIL Workshop and LPAR Short Presentations

Keyphrases

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

Copyright © 2012-2023 easychair.org. All rights reserved.