| 2023 | ICML | Hierarchies of Reward Machines. | Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo |
| 2022 | ICLP | A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge. | David Tuckey, Krysia Broda, Alessandra Russo |
| 2022 | IJCAI | Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data. | Mark Law, Krysia Broda, Alessandra Russo |
| 2022 | KR | Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. | Yaniv Aspis, Krysia Broda, Jorge Lobo, Alessandra Russo |
| 2021 | IJCAI | Scalable Non-observational Predicate Learning in ASP. | Mark Law, Alessandra Russo, Krysia Broda, Elisa Bertino |
| 2020 | AAAI | Induction of Subgoal Automata for Reinforcement Learning. | Daniel Furelos-Blanco, Mark Law, Alessandra Russo, Krysia Broda, Anders Jonsson |
| 2020 | AAAI | FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria. | Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo |
| 2020 | ICLP | Towards Structure Learning under the Credal Semantics. | David Tuckey, Krysia Broda, Alessandra Russo |
| 2020 | KR | Stable and Supported Semantics in Continuous Vector Spaces. | Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo |
| 2019 | AAAI | Representing and Learning Grammars in Answer Set Programming. | Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo |
| 2018 | CSEDU | The ELFE System - Verifying Mathematical Proofs of Undergraduate Students. | Maximilian Dor, Krysia Broda |
| 2018 | CSEDU | Intuitive Reasoning in Formalized Mathematics with Elfe. | Maximilian Dor, Krysia Broda |
| 2018 | ILP | Tensor-Based Abduction in Horn Propositional Programs. | Yaniv Aspis, Krysia Broda, Alessandra Russo |
| 2016 | ILP | An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming. | Stanislav Dragiev, Alessandra Russo, Krysia Broda, Mark Law, Calin-Rares Turliuc |
| 2015 | ICLP | Probabilistic Abductive Logic Programming using Dirichlet Priors. | Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda |
| 2015 | LPAR | Reasoning in the presence of inconsistency through Preferential ALC. | Graham Deane, Krysia Broda, Alessandra Russo |
| 2015 | LPNMR | Automated Inference of Rules with Exception from Past Legal Cases Using ASP. | Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo |
| 2014 | ILP | Inductive Learning Using Constraint-Driven Bias. | Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh |
| 2014 | JELIA | Inductive Learning of Answer Set Programs. | Mark Law, Alessandra Russo, Krysia Broda |
| 2013 | ILP | Learning Through Hypothesis Refinement Using Answer Set Programming. | Duangtida Athakravi, Domenico Corapi, Krysia Broda, Alessandra Russo |
| 2013 | LPAR | On Minimality and Integrity Constraints in Probabilistic Abduction. | Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda |
| 2012 | ICMLA | Balancing Public Cycle Sharing Schemes Using Independent Learners. | Jeremiah Smith, Luke Dickens, Krysia Broda |
| 2011 | ICLP | Multi-agent Confidential Abductive Reasoning. | Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu |
| 2010 | ECAI | The Dynamics of Multi-Agent Reinforcement Learning. | Luke Dickens, Krysia Broda, Alessandra Russo |
| 2010 | ICANN | Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. | Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez |
| 2010 | IJCNN | First-order logic learning in Artificial Neural Networks. | Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez |
| 2009 | LPNMR | Induction on Failure: Learning Connected Horn Theories. | Tim Kimber, Krysia Broda, Alessandra Russo |
| 2005 | WoWMoM | Policy Conflict Analysis Using Tableaux for On Demanc VPN Framework. | Hiroaki Kamoda, Akihiro Hayakawa, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman |
| 2004 | ICLP | Generalised Kernel Sets for Inverse Entailment. | Oliver Ray, Krysia Broda, Alessandra Russo |
| 2003 | FlAIRS | Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. | Artur S. d'Avila Garcez, Lus C. Lamb, Krysia Broda, Dov M. Gabbay |
| 2003 | ILP | Hybrid Abductive Inductive Learning: A Generalisation of Progol. | Oliver Ray, Krysia Broda, Alessandra Russo |
| 2000 | ECAI | Constructing Teleo-reactive Robot Programs. | Krysia Broda, Christopher J. Hogger, Sam Watson |
| 1999 | TABLEAUX | CLDS for Propositional Intuitionistic Logic. | Krysia Broda, Dov M. Gabbay |
| 1992 | ICML | The MENTLE Approach to Learning Heuristics for the Control of Logic Programs. | Elizabeth I. Hogger, Krysia Broda |
| 1984 | ICLP | Parlog for Discrete Event Simulation. | Krysia Broda, Steve Gregory |