Parlog for Discrete Event Simulation. - Krysia Broda; Steve Gregory (ICLP, 1984)

The MENTLE Approach to Learning Heuristics for the Control of Logic Programs. - Elizabeth I. Hogger; Krysia Broda (ML, 1992)

An Integrated Engineering Study Scheme in Computing. - Anthony Finkelstein; Jeff Kramer; Samson Abramsky; Krysia Broda; Sophia Drossopoulou; Susan Eisenbach (Comput. J., 1993)

Editorial. - Krysia Broda; Marcello D'Agostino; Rajeev Goré; Rob Johnson 001; Steve Reeves (Log. J. IGPL, 1995)

Tool support for informal deduction. - Krysia Broda; Susan Eisenbach; Lloyd Daniel Kamara (ACSE, 1996)

CLDS for Propositional Intuitionistic Logic. - Krysia Broda; Dov M. Gabbay (TABLEAUX, 1999)

Labelled Natural Deduction for Substructural Logics. - Krysia Broda; Marcelo Finger; Alessandra Russo (Log. J. IGPL, 1999)

Constructing Teleo-reactive Robot Programs. - Krysia Broda; Christopher J. Hogger; Sam Watson (ECAI, 2000)

Symbolic knowledge extraction from trained neural networks: A sound approach. - Artur S. d'Avila Garcez; Krysia Broda; Dov M. Gabbay (Artif. Intell., 2001)

Neural-symbolic learning systems - foundations and applications. - Artur S. d'Avila Garcez; Krysia Broda; Dov M. Gabbay (Springer, 2002)

A Decidable CLDS for Some Propositional Resource Logics. - Krysia Broda (Computational Logic: Logic Programming and Beyond, 2002)

Labelled Natural Deduction for Conditional Logics of Normality. - Krysia Broda; Dov M. Gabbay; Luís C. Lamb; Alessandra Russo (Log. J. IGPL, 2002)

Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. - Artur S. d'Avila Garcez; Luís C. Lamb; Krysia Broda; Dov M. Gabbay (FLAIRS, 2003)

Hybrid Abductive Inductive Learning: A Generalisation of Progol. - Oliver Ray; Krysia Broda; Alessandra Russo (ILP, 2003)

Generalised Kernel Sets for Inverse Entailment. - Oliver Ray; Krysia Broda; Alessandra Russo (ICLP, 2004)

Policies for Cloned Teleo-reactive Robots. - Krysia Broda; Christopher J. Hogger (MATES, 2004)

A Hybrid Abductive Inductive Proof Procedure. - Oliver Ray; Krysia Broda; Alessandra Russo (Log. J. IGPL, 2004)

Applying connectionist modal logics to distributed knowledge representation problems. - Artur S. d'Avila Garcez; Luís C. Lamb; Krysia Broda; Dov M. Gabbay (Int. J. Artif. Intell. Tools, 2004)

Compiled Labelled Deductive Systems for Access Control. - Krysia Broda; Alessandra Russo (We Will Show Them! (1), 2005)

Abstract Policy Evaluation for Reactive Agents. - Krysia Broda; Christopher J. Hogger (SARA, 2005)

Policy Conflict Analysis Using Tableaux for On Demanc VPN Framework. - Hiroaki Kamoda; Akihiro Hayakawa; Masaki Yamaoka; Shigeyuki Matsuda; Krysia Broda; Morris Sloman (WOWMOM, 2005)

Determining and verifying good policies for cloned teleo-reactive agents. - Krysia Broda; Christopher J. Hogger (Comput. Syst. Sci. Eng., 2005)

Access Control Policy Analysis Using Free Variable Tableaux. - Hiroaki Kamoda; Masaki Yamaoka; Shigeyuki Matsuda; Krysia Broda; Morris Sloman (Inf. Media Technol., 2006)

Pandora: A Reasoning Toolbox using Natural Deduction Style. - Krysia Broda; Jiefei Ma; Gabrielle Sinnadurai; Alexander J. Summers (Log. J. IGPL, 2007)

A Dynamic System for Distributed Reasoning. - Jiefei Ma; Krysia Broda; Alessandra Russo; Keith Clark (AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 2008)

DARE: a system for distributed abductive reasoning. - Jiefei Ma; Alessandra Russo; Krysia Broda; Keith Clark (Auton. Agents Multi Agent Syst., 2008)

Book Review. - Krysia Broda (J. Log. Lang. Inf., 2008)

SAGE: A Logical Agent-Based Environment Monitoring and Control System. - Krysia Broda; Keith Clark; Rob Miller 002; Alessandra Russo (AmI, 2009)

Multi-agent planning with confidentiality. - Jiefei Ma; Alessandra Russo; Krysia Broda; Emil Lupu (AAMAS (2), 2009)

On the Implementation of Speculative Constraint Processing. - Jiefei Ma; Alessandra Russo; Krysia Broda; Hiroshi Hosobe; Ken Satoh (CLIMA, 2009)

Induction on Failure: Learning Connected Horn Theories. - Tim Kimber; Krysia Broda; Alessandra Russo (LPNMR, 2009)

Speculative Abductive Reasoning for Hierarchical Agent Systems. - Jiefei Ma; Krysia Broda; Randy Goebel; Hiroshi Hosobe; Alessandra Russo; Ken Satoh (CLIMA, 2010)

Distributed Abductive Reasoning with Constraints. - Jiefei Ma; Krysia Broda; Alessandra Russo; Emil Lupu (DALT, 2010)

The Dynamics of Multi-Agent Reinforcement Learning. - Luke Dickens; Krysia Broda; Alessandra Russo (ECAI, 2010)

Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. - Ekaterina Komendantskaya; Krysia Broda; Artur S. d'Avila Garcez (ICANN (1), 2010)

First-order logic learning in Artificial Neural Networks. - Mathieu Guillame-Bert; Krysia Broda; Artur S. d'Avila Garcez (IJCNN, 2010)

Speculative constraint processing for hierarchical agents. - Hiroshi Hosobe; Ken Satoh; Jiefei Ma; Alessandra Russo; Krysia Broda (AI Commun., 2010)

Designing Effective Policies for Minimal Agents. - Krysia Broda; Christopher J. Hogger (Comput. J., 2010)

Multi-agent abductive reasoning with confidentiality. - Jiefei Ma; Alessandra Russo; Krysia Broda; Emil Lupu (AAMAS, 2011)

Multi-agent Confidential Abductive Reasoning. - Jiefei Ma; Alessandra Russo; Krysia Broda; Emil Lupu (ICLP (Technical Communications), 2011)

Predicate Invention in Inductive Logic Programming. - Duangtida Athakravi; Krysia Broda; Alessandra Russo (ICCSW, 2012)

Balancing Public Cycle Sharing Schemes Using Independent Learners. - Jeremiah Smith; Luke Dickens; Krysia Broda (ICMLA (1), 2012)

Learning Through Hypothesis Refinement Using Answer Set Programming. - Duangtida Athakravi; Domenico Corapi; Krysia Broda; Alessandra Russo (ILP, 2013)

On Minimality and Integrity Constraints in Probabilistic Abduction. - Calin-Rares Turliuc; Nataly Maimari; Alessandra Russo; Krysia Broda (LPAR, 2013)

Inductive Learning Using Constraint-Driven Bias. - Duangtida Athakravi; Dalal Alrajeh; Krysia Broda; Alessandra Russo; Ken Satoh (ILP, 2014)

Inductive Learning of Answer Set Programs. - Mark Law; Alessandra Russo; Krysia Broda (JELIA, 2014)

Reasoning in the presence of inconsistency through Preferential ALC. - Graham Deane; Krysia Broda; Alessandra Russo (LPAR (short papers), 2015)

Automated Inference of Rules with Exception from Past Legal Cases Using ASP. - Duangtida Athakravi; Ken Satoh; Mark Law; Krysia Broda; Alessandra Russo (LPNMR, 2015)

Learning weak constraints in answer set programming. - Mark Law; Alessandra Russo; Krysia Broda (Theory Pract. Log. Program., 2015)

An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming. - Stanislav Dragiev; Alessandra Russo; Krysia Broda; Mark Law; Calin-Rares Turliuc (ILP (Short Papers), 2016)

Probabilistic abductive logic programming using Dirichlet priors. - Calin-Rares Turliuc; Luke Dickens; Alessandra Russo; Krysia Broda (Int. J. Approx. Reason., 2016)

Iterative Learning of Answer Set Programs from Context Dependent Examples. - Mark Law; Alessandra Russo; Krysia Broda (Theory Pract. Log. Program., 2016)

Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs. - Piotr Chabierski; Alessandra Russo; Mark Law; Krysia Broda (COMMONSENSE, 2017)

The ELFE System - Verifying Mathematical Proofs of Undergraduate Students. - Maximilian Doré; Krysia Broda (CSEDU (2), 2018)

Intuitive Reasoning in Formalized Mathematics with Elfe. - Maximilian Doré; Krysia Broda (CSEDU (Selected Papers), 2018)

Tensor-Based Abduction in Horn Propositional Programs. - Yaniv Aspis; Krysia Broda; Alessandra Russo (ILP Up-and-Coming / Short Papers, 2018)

The complexity and generality of learning answer set programs. - Mark Law; Alessandra Russo; Krysia Broda (Artif. Intell., 2018)

Inductive Learning of Answer Set Programs from Noisy Examples. - Mark Law; Alessandra Russo; Krysia Broda (CoRR, 2018)

Towards Intuitive Reasoning in Axiomatic Geometry. - Maximilian Doré; Krysia Broda (ThEdu@FLoC, 2018)

Representing and Learning Grammars in Answer Set Programming. - Mark Law; Alessandra Russo; Elisa Bertino; Krysia Broda; Jorge Lobo 001 (AAAI, 2019)

Logic-Based Learning of Answer Set Programs. - Mark Law; Alessandra Russo; Krysia Broda (RW, 2019)

Saliency Maps Generation for Automatic Text Summarization. - David Tuckey; Krysia Broda; Alessandra Russo (CoRR, 2019)

Induction of Subgoal Automata for Reinforcement Learning. - Daniel Furelos-Blanco; Mark Law; Alessandra Russo; Krysia Broda; Anders Jonsson 001 (AAAI, 2020)

FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria. - Mark Law; Alessandra Russo; Elisa Bertino; Krysia Broda; Jorge Lobo 001 (AAAI, 2020)

Topical Neural Theorem Prover that Induces Rules. - Shuang Xia; Krysia Broda; Alessandra Russo (GCAI, 2020)

Towards Structure Learning under the Credal Semantics. - David Tuckey; Krysia Broda; Alessandra Russo (ICLP Workshops, 2020)

Stable and Supported Semantics in Continuous Vector Spaces. - Yaniv Aspis; Krysia Broda; Alessandra Russo; Jorge Lobo 001 (KR, 2020)

A general framework for scientifically inspired explanations in AI. - David Tuckey; Alessandra Russo; Krysia Broda (CoRR, 2020)

The ILASP system for Inductive Learning of Answer Set Programs. - Mark Law; Alessandra Russo; Krysia Broda (CoRR, 2020)

Scalable Non-observational Predicate Learning in ASP. - Mark Law; Alessandra Russo; Krysia Broda; Elisa Bertino (IJCAI, 2021)

PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics. - David Tuckey; Alessandra Russo; Krysia Broda (CoRR, 2021)

Induction and Exploitation of Subgoal Automata for Reinforcement Learning. - Daniel Furelos-Blanco; Mark Law; Anders Jonsson 001; Krysia Broda; Alessandra Russo (J. Artif. Intell. Res., 2021)

A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge. - David Tuckey; Krysia Broda; Alessandra Russo (ICLP Workshops, 2022)

Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data. - Mark Law; Krysia Broda; Alessandra Russo (IJCAI, 2022)

Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. - Yaniv Aspis; Krysia Broda; Jorge Lobo 001; Alessandra Russo (KR, 2022)

Reactive Answer Set Programming. - Krysia Broda; Fariba Sadri; Stephen Butler (Theory Pract. Log. Program., 2022)

Hierarchies of Reward Machines. - Daniel Furelos-Blanco; Mark Law; Anders Jonsson 001; Krysia Broda; Alessandra Russo (ICML, 2023)