Imperial College London


Faculty of EngineeringDepartment of Computing

Honorary Senior Lecturer



k.broda Website




Huxley BuildingSouth Kensington Campus





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


Law M, Russo A, Bertino E, 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

More Publications