Visit my personal webpage to find out more about my research.
Law M, Russo A, Broda K, 2019, Inductive Learning of Answer Set Programs from Noisy Examples, Advances in Cognitive Systems
et al., 2019, Representing and learning grammars in answer set programming, AAAI-19: Thirty-third AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, Pages:2919-2928
Broda K, Dore M, Towards Intuitive Reasoning in Axiomatic Geometry, 7th International Workshop on Theorem proving components for Educational software, ISSN:2075-2180
Russo A, Law M, Broda K, AAAI 2019, Proceedings pf the 33rd AAAI Conference on Artificial Intelligence, AAAI-19: Thirty-Third AAAI Conference on Artificial intelligence
Aspis Y, Broda K, Russo A, 2018, Tensor-based abduction in horn propositional programs, ILP 2018 - 28th International Conference on Inductive Logic Programming, CEUR Workshop Proceedings, Pages:68-75, ISSN:1613-0073