Krysia Broda

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 34

Top Topics

Logic Programming

Dirichlet Prior

Answer Set Programs

Top Venues

Theory Pract. Log. Program.

Publications

Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
Hierarchies of Reward Machines. ICML (2023)
Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
Hierarchies of Reward Machines. CoRR (2022)
Mark Law, Krysia Broda, Alessandra Russo
Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data. IJCAI (2022)
Krysia Broda, Fariba Sadri, Stephen Butler
Reactive Answer Set Programming. Theory Pract. Log. Program. 22 (3) (2022)
Yaniv Aspis, Krysia Broda, Jorge Lobo, Alessandra Russo
Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. KR (2022)
David Tuckey, Krysia Broda, Alessandra Russo
A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge. ICLP Workshops (2022)
David Tuckey, Alessandra Russo, Krysia Broda
PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics. CoRR (2021)
Krysia Broda, Fariba Sadri, Stephen Butler
Reactive Answer Set Programming. CoRR (2021)
Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
Induction and Exploitation of Subgoal Automata for Reinforcement Learning. J. Artif. Intell. Res. 70 (2021)
Mark Law, Alessandra Russo, Krysia Broda, Elisa Bertino
Scalable Non-observational Predicate Learning in ASP. IJCAI (2021)
Mark Law, Alessandra Russo, Krysia Broda
The ILASP system for Inductive Learning of Answer Set Programs. CoRR (2020)
Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
Induction and Exploitation of Subgoal Automata for Reinforcement Learning. CoRR (2020)
David Tuckey, Alessandra Russo, Krysia Broda
A general framework for scientifically inspired explanations in AI. CoRR (2020)
Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo
FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria. AAAI (2020)
Shuang Xia, Krysia Broda, Alessandra Russo
Topical Neural Theorem Prover that Induces Rules. GCAI (2020)
David Tuckey, Krysia Broda, Alessandra Russo
Towards Structure Learning under the Credal Semantics. ICLP Workshops (2020)
Daniel Furelos-Blanco, Mark Law, Alessandra Russo, Krysia Broda, Anders Jonsson
Induction of Subgoal Automata for Reinforcement Learning. AAAI (2020)
Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo
Stable and Supported Semantics in Continuous Vector Spaces. KR (2020)
David Tuckey, Krysia Broda, Alessandra Russo
Saliency Maps Generation for Automatic Text Summarization. CoRR (2019)
Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo
Representing and Learning Grammars in Answer Set Programming. AAAI (2019)
Mark Law, Alessandra Russo, Krysia Broda
Logic-Based Learning of Answer Set Programs. Reasoning Web (2019)
Daniel Furelos-Blanco, Mark Law, Alessandra Russo, Krysia Broda, Anders Jonsson
Induction of Subgoal Automata for Reinforcement Learning. CoRR (2019)
Maximilian Doré, Krysia Broda
Towards Intuitive Reasoning in Axiomatic Geometry. ThEdu@FLoC (2018)
Maximilian Doré, Krysia Broda
Intuitive Reasoning in Formalized Mathematics with Elfe. CSEDU (Selected Papers) (2018)
Maximilian Doré, Krysia Broda
The Elfe System - Verifying mathematical proofs of undergraduate students. CoRR (2018)
Mark Law, Alessandra Russo, Krysia Broda
The complexity and generality of learning answer set programs. Artif. Intell. 259 (2018)
Yaniv Aspis, Krysia Broda, Alessandra Russo
Tensor-Based Abduction in Horn Propositional Programs. ILP Up-and-Coming / Short Papers (2018)
Maximilian Doré, Krysia Broda
The ELFE System - Verifying Mathematical Proofs of Undergraduate Students. CSEDU (2) (2018)
Mark Law, Alessandra Russo, Krysia Broda
Inductive Learning of Answer Set Programs from Noisy Examples. CoRR (2018)
Piotr Chabierski, Alessandra Russo, Mark Law, Krysia Broda
Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs. COMMONSENSE (2017)
Mark Law, Alessandra Russo, Krysia Broda
Iterative Learning of Answer Set Programs from Context Dependent Examples. CoRR (2016)
Mark Law, Alessandra Russo, Krysia Broda
Iterative Learning of Answer Set Programs from Context Dependent Examples. Theory Pract. Log. Program. 16 (5-6) (2016)
Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda
Probabilistic abductive logic programming using Dirichlet priors. Int. J. Approx. Reason. 78 (2016)
Stanislav Dragiev, Alessandra Russo, Krysia Broda, Mark Law, Calin-Rares Turliuc
An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming. ILP (Short Papers) (2016)
Graham Deane, Krysia Broda, Alessandra Russo
Reasoning in the presence of inconsistency through Preferential ALC. LPAR (short papers) (2015)
Mark Law, Alessandra Russo, Krysia Broda
Learning weak constraints in answer set programming. Theory Pract. Log. Program. 15 (4-5) (2015)
Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo
Automated Inference of Rules with Exception from Past Legal Cases Using ASP. LPNMR (2015)
Mark Law, Alessandra Russo, Krysia Broda
Learning Weak Constraints in Answer Set Programming. CoRR (2015)
Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda
Probabilistic Abductive Logic Programming using Dirichlet Priors. PLP@ICLP (2015)
Mark Law, Alessandra Russo, Krysia Broda
Inductive Learning of Answer Set Programs. JELIA (2014)
Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh
Inductive Learning Using Constraint-Driven Bias. ILP (2014)
Duangtida Athakravi, Domenico Corapi, Krysia Broda, Alessandra Russo
Learning Through Hypothesis Refinement Using Answer Set Programming. ILP (2013)
Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda
On Minimality and Integrity Constraints in Probabilistic Abduction. LPAR (2013)
Duangtida Athakravi, Krysia Broda, Alessandra Russo
Predicate Invention in Inductive Logic Programming. ICCSW (2012)
Jeremiah Smith, Luke Dickens, Krysia Broda
Balancing Public Cycle Sharing Schemes Using Independent Learners. ICMLA (1) (2012)
Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
Multi-agent Confidential Abductive Reasoning. ICLP (Technical Communications) (2011)
Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
Multi-agent abductive reasoning with confidentiality. AAMAS (2011)
Luke Dickens, Krysia Broda, Alessandra Russo
The Dynamics of Multi-Agent Reinforcement Learning. ECAI (2010)
Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
Distributed abductive reasoning with constraints. AAMAS (2010)
Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda
Speculative constraint processing for hierarchical agents. AI Commun. 23 (4) (2010)
Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez
First-order logic learning in Artificial Neural Networks. IJCNN (2010)
Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh
Speculative Abductive Reasoning for Hierarchical Agent Systems. CLIMA (2010)
Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu
Distributed Abductive Reasoning with Constraints. DALT (2010)
Krysia Broda, Christopher J. Hogger
Designing Effective Policies for Minimal Agents. Comput. J. 53 (8) (2010)
Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez
Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. ICANN (1) (2010)
Tim Kimber, Krysia Broda, Alessandra Russo
Induction on Failure: Learning Connected Horn Theories. LPNMR (2009)
Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
Multi-agent planning with confidentiality. AAMAS (2) (2009)
Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo
SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI (2009)
Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
On the Implementation of Speculative Constraint Processing. CLIMA (2009)
Krysia Broda
Book Review. J. Log. Lang. Inf. 17 (2) (2008)
Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark
DARE: a system for distributed abductive reasoning. Auton. Agents Multi Agent Syst. 16 (3) (2008)
Jiefei Ma, Krysia Broda, Alessandra Russo, Keith Clark
A Dynamic System for Distributed Reasoning. AAAI Spring Symposium: Emotion, Personality, and Social Behavior (2008)
Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers
Pandora: A Reasoning Toolbox using Natural Deduction Style. Log. J. IGPL 15 (4) (2007)
Hiroaki Kamoda, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman
Access Control Policy Analysis Using Free Variable Tableaux. Inf. Media Technol. 1 (2) (2006)
Krysia Broda, Christopher J. Hogger
Determining and verifying good policies for cloned teleo-reactive agents. Comput. Syst. Sci. Eng. 20 (4) (2005)
Hiroaki Kamoda, Akihiro Hayakawa, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman
Policy Conflict Analysis Using Tableaux for On Demanc VPN Framework. WOWMOM (2005)
Krysia Broda, Christopher J. Hogger
Abstract Policy Evaluation for Reactive Agents. SARA (2005)
Krysia Broda, Alessandra Russo
Compiled Labelled Deductive Systems for Access Control. We Will Show Them! (1) (2005)
Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
Applying connectionist modal logics to distributed knowledge representation problems. Int. J. Artif. Intell. Tools 13 (1) (2004)
Krysia Broda, Christopher J. Hogger
Policies for Cloned Teleo-reactive Robots. MATES (2004)
Oliver Ray, Krysia Broda, Alessandra Russo
Generalised Kernel Sets for Inverse Entailment. ICLP (2004)
Oliver Ray, Krysia Broda, Alessandra Russo
A Hybrid Abductive Inductive Proof Procedure. Log. J. IGPL 12 (5) (2004)
Oliver Ray, Krysia Broda, Alessandra Russo
Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP (2003)
Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. FLAIRS Conference (2003)
Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo
Labelled Natural Deduction for Conditional Logics of Normality. Log. J. IGPL 10 (2) (2002)
Krysia Broda
A Decidable CLDS for Some Propositional Resource Logics. Computational Logic: Logic Programming and Beyond (2002)
Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay
Symbolic knowledge extraction from trained neural networks: A sound approach. Artif. Intell. 125 (1-2) (2001)
Krysia Broda, Christopher J. Hogger, Sam Watson
Constructing Teleo-reactive Robot Programs. ECAI (2000)
Krysia Broda, Dov M. Gabbay
CLDS for Propositional Intuitionistic Logic. TABLEAUX (1999)
Krysia Broda, Marcelo Finger, Alessandra Russo
Labelled Natural Deduction for Substructural Logics. Log. J. IGPL 7 (3) (1999)
Krysia Broda, Susan Eisenbach, Lloyd Daniel Kamara
Tool support for informal deduction. ACSE (1996)
Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves
Editorial. Log. J. IGPL 3 (6) (1995)
Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach
An Integrated Engineering Study Scheme in Computing. Comput. J. 36 (4) (1993)
Elizabeth I. Hogger, Krysia Broda
The MENTLE Approach to Learning Heuristics for the Control of Logic Programs. ML (1992)
Krysia Broda, Steve Gregory
Parlog for Discrete Event Simulation. ICLP (1984)