Sebastijan Dumančić

Knowledge Refactoring for Inductive Program Synthesis

2021 · Proceedings of the AAAI Conference on Artificial Intelligence

Humans constantly restructure knowledge to use it more efficiently. Our goal is to give a machine learning system similar abilities so that it can learn more efficiently. We introduce the knowledge refactoring problem, where the …

From Statistical Relational to Neuro-Symbolic Artificial Intelligence

2020 · arXiv (Cornell University)

Neuro-symbolic and statistical relational artificial intelligence both integrate frameworks for learning with logical reasoning. This survey identifies several parallels across seven different dimensions between these two fields. These cannot only be used to characterize and …