Krysia Broda

According to our database, Krysia Broda authored at least 77 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Hierarchies of Reward Machines.

Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo

Proceedings of the International Conference on Machine Learning, 2023

2022

Reactive Answer Set Programming.

Krysia Broda, Fariba Sadri, Stephen Butler

Theory Pract. Log. Program., 2022

Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings.

Yaniv Aspis, Krysia Broda, Jorge Lobo, Alessandra Russo

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data.

Mark Law, Krysia Broda, Alessandra Russo

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge.

David Tuckey, Krysia Broda, Alessandra Russo

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

Induction and Exploitation of Subgoal Automata for Reinforcement Learning.

Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo

J. Artif. Intell. Res., 2021

PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics.

David Tuckey, Alessandra Russo, Krysia Broda

CoRR, 2021

Scalable Non-observational Predicate Learning in ASP.

Mark Law, Alessandra Russo, Krysia Broda, Elisa Bertino

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

The ILASP system for Inductive Learning of Answer Set Programs.

Mark Law, Alessandra Russo, Krysia Broda

CoRR, 2020

A general framework for scientifically inspired explanations in AI.

David Tuckey, Alessandra Russo, Krysia Broda

CoRR, 2020

Stable and Supported Semantics in Continuous Vector Spaces.

Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Towards Structure Learning under the Credal Semantics.

David Tuckey, Krysia Broda, Alessandra Russo

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

Topical Neural Theorem Prover that Induces Rules.

Shuang Xia, Krysia Broda, Alessandra Russo

Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria.

Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Induction of Subgoal Automata for Reinforcement Learning.

Daniel Furelos-Blanco, Mark Law, Alessandra Russo, Krysia Broda, Anders Jonsson

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Saliency Maps Generation for Automatic Text Summarization.

David Tuckey, Krysia Broda, Alessandra Russo

CoRR, 2019

Logic-Based Learning of Answer Set Programs.

Mark Law, Alessandra Russo, Krysia Broda

Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019

Representing and Learning Grammars in Answer Set Programming.

Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Towards Intuitive Reasoning in Axiomatic Geometry.

Maximilian Doré, Krysia Broda

Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Inductive Learning of Answer Set Programs from Noisy Examples.

Mark Law, Alessandra Russo, Krysia Broda

CoRR, 2018

The complexity and generality of learning answer set programs.

Mark Law, Alessandra Russo, Krysia Broda

Artif. Intell., 2018

Tensor-Based Abduction in Horn Propositional Programs.

Yaniv Aspis, Krysia Broda, Alessandra Russo

Proceedings of the Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018), 2018

Intuitive Reasoning in Formalized Mathematics with Elfe.

Maximilian Doré, Krysia Broda

Proceedings of the Computer Supported Education - 10th International Conference, 2018

The ELFE System - Verifying Mathematical Proofs of Undergraduate Students.

Maximilian Doré, Krysia Broda

Proceedings of the 10th International Conference on Computer Supported Education, 2018

2017

Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs.

Piotr Chabierski, Alessandra Russo, Mark Law, Krysia Broda

Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

2016

Iterative Learning of Answer Set Programs from Context Dependent Examples.

Mark Law, Alessandra Russo, Krysia Broda

Theory Pract. Log. Program., 2016

Probabilistic abductive logic programming using Dirichlet priors.

Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda

Int. J. Approx. Reason., 2016

An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming.

Stanislav Dragiev, Alessandra Russo, Krysia Broda, Mark Law, Calin-Rares Turliuc

Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), 2016

2015

Learning weak constraints in answer set programming.

Mark Law, Alessandra Russo, Krysia Broda

Theory Pract. Log. Program., 2015

Automated Inference of Rules with Exception from Past Legal Cases Using ASP.

Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Reasoning in the presence of inconsistency through Preferential ALC.

Graham Deane, Krysia Broda, Alessandra Russo

Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

2014

Inductive Learning of Answer Set Programs.

Mark Law, Alessandra Russo, Krysia Broda

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Inductive Learning Using Constraint-Driven Bias.

Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh

Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

2013

On Minimality and Integrity Constraints in Probabilistic Abduction.

Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Learning Through Hypothesis Refinement Using Answer Set Programming.

Duangtida Athakravi, Domenico Corapi, Krysia Broda, Alessandra Russo

Proceedings of the Inductive Logic Programming - 23rd International Conference, 2013

2012

Balancing Public Cycle Sharing Schemes Using Independent Learners.

Jeremiah Smith, Luke Dickens, Krysia Broda

Proceedings of the 11th International Conference on Machine Learning and Applications, 2012

Predicate Invention in Inductive Logic Programming.

Duangtida Athakravi, Krysia Broda, Alessandra Russo

Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

2011

Multi-agent Confidential Abductive Reasoning.

Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Multi-agent abductive reasoning with confidentiality.

Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Designing Effective Policies for Minimal Agents.

Krysia Broda, Christopher J. Hogger

Comput. J., 2010

Speculative constraint processing for hierarchical agents.

Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda

AI Commun., 2010

First-order logic learning in Artificial Neural Networks.

Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez

Proceedings of the International Joint Conference on Neural Networks, 2010

Neuro-symbolic Representation of Logic Programs Defining Infinite Sets.

Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez

Proceedings of the Artificial Neural Networks - ICANN 2010, 2010

The Dynamics of Multi-Agent Reinforcement Learning.

Luke Dickens, Krysia Broda, Alessandra Russo

Proceedings of the ECAI 2010, 2010

Distributed Abductive Reasoning with Constraints.

Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Speculative Abductive Reasoning for Hierarchical Agent Systems.

Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009

Induction on Failure: Learning Connected Horn Theories.

Tim Kimber, Krysia Broda, Alessandra Russo

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

On the Implementation of Speculative Constraint Processing.

Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh

Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Multi-agent planning with confidentiality.

Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

SAGE: A Logical Agent-Based Environment Monitoring and Control System.

Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo

Proceedings of the Ambient Intelligence, 2009

2008

Book Review.

Krysia Broda

J. Log. Lang. Inf., 2008

DARE: a system for distributed abductive reasoning.

Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark

Auton. Agents Multi Agent Syst., 2008

A Dynamic System for Distributed Reasoning.

Jiefei Ma, Krysia Broda, Alessandra Russo, Keith Clark

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007

Pandora: A Reasoning Toolbox using Natural Deduction Style.

Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers

Log. J. IGPL, 2007

2006

Access Control Policy Analysis Using Free Variable Tableaux.

Hiroaki Kamoda, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman

Inf. Media Technol., 2006

2005

Determining and verifying good policies for cloned teleo-reactive agents.

Krysia Broda, Christopher J. Hogger

Comput. Syst. Sci. Eng., 2005

Policy Conflict Analysis Using Tableaux for On Demanc VPN Framework.

Hiroaki Kamoda, Akihiro Hayakawa, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman

Proceedings of the 2005 International Conference on a World of Wireless, 2005

Abstract Policy Evaluation for Reactive Agents.

Krysia Broda, Christopher J. Hogger

Proceedings of the Abstraction, 2005

Compiled Labelled Deductive Systems for Access Control.

Krysia Broda, Alessandra Russo

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

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

A Hybrid Abductive Inductive Proof Procedure.

Oliver Ray, Krysia Broda, Alessandra Russo

Log. J. IGPL, 2004

Policies for Cloned Teleo-reactive Robots.

Krysia Broda, Christopher J. Hogger

Proceedings of the Multiagent System Technologies, Second German Conference, 2004

Generalised Kernel Sets for Inverse Entailment.

Oliver Ray, Krysia Broda, Alessandra Russo

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Hybrid Abductive Inductive Learning: A Generalisation of Progol.

Oliver Ray, Krysia Broda, Alessandra Russo

Proceedings of the Inductive Logic Programming: 13th International Conference, 2003

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

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

2002

Labelled Natural Deduction for Conditional Logics of Normality.

Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo

Log. J. IGPL, 2002

A Decidable CLDS for Some Propositional Resource Logics.

Krysia Broda

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Neural-symbolic learning systems - foundations and applications.

Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay

Perspectives in neural computing, Springer, ISBN: 978-1-85233-512-0, 2002

2001

Symbolic knowledge extraction from trained neural networks: A sound approach.

Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay

Artif. Intell., 2001

2000

Constructing Teleo-reactive Robot Programs.

Krysia Broda, Christopher J. Hogger, Sam Watson

Proceedings of the ECAI 2000, 2000

1999

Labelled Natural Deduction for Substructural Logics.

Krysia Broda, Marcelo Finger, Alessandra Russo

Log. J. IGPL, 1999

CLDS for Propositional Intuitionistic Logic.

Krysia Broda, Dov M. Gabbay

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

1996

Tool support for informal deduction.

Krysia Broda, Susan Eisenbach, Lloyd Daniel Kamara

Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996

1995

Editorial.

Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves

Log. J. IGPL, 1995

1993

An Integrated Engineering Study Scheme in Computing.

Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach

Comput. J., 1993

1992

The MENTLE Approach to Learning Heuristics for the Control of Logic Programs.

Elizabeth I. Hogger, Krysia Broda

Proceedings of the Ninth International Workshop on Machine Learning (ML 1992), 1992

1984

Parlog for Discrete Event Simulation.

Krysia Broda, Steve Gregory

Proceedings of the Second International Logic Programming Conference, 1984