Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)

Craig E. Larson, Nico Van Cleemput

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

Journal track. Pages 5015-5019.

https://doi.org/10.24963/ijcai.2017/713

PDF BibTeX

Abstract

This condensed summary highlights the results of a 2016 AIJ paper reporting on a successful general-purpose conjecturing program.

Keywords

• Knowledge Representation, Reasoning, and Logic: Automated Reasoning and Theorem Proving
• Multidisciplinary Topics and Applications: AI and Natural Sciences