Krysia Broda

Available identifiers

zbMath Open broda.krysia-bMaRDI QIDQ324689

List of research outcomes

Publication	Date of Publication	Type
Logic-based learning of answer set programs	2024-03-14	Paper
Reactive Answer Set Programming	2023-12-12	Paper
Induction and exploitation of subgoal automata for reinforcement learning	2021-03-26	Paper
The complexity and generality of learning answer set programs	2018-06-26	Paper
Iterative learning of answer set programs from context dependent examples	2017-11-09	Paper
Learning weak constraints in answer set programming	2017-11-09	Paper
Probabilistic abductive logic programming using Dirichlet priors	2016-10-17	Paper
Automated inference of rules with exception from past legal cases using ASP	2015-11-04	Paper
Learning through hypothesis refinement using answer set programming	2015-09-07	Paper
Inductive learning of answer set programs	2015-01-14	Paper
On minimality and integrity constraints in probabilistic abduction	2014-01-17	Paper
Multi-agent confidential abductive reasoning	2012-08-29	Paper
Compiled labelled deductive systems for access control	2011-06-21	Paper
Speculative constraint processing for hierarchical agents	2011-05-18	Paper
The dynamics of multi-agent reinforcement learning	2011-05-11	Paper
Distributed Abductive Reasoning with Constraints	2011-05-11	Paper
On the Implementation of Speculative Constraint Processing	2010-11-09	Paper
Speculative abductive reasoning for hierarchical agent systems	2010-08-24	Paper
Inductive Logic Programming	2010-02-23	Paper
Induction on Failure: Learning Connected Horn Theories	2009-11-10	Paper
Pandora: A Reasoning Toolbox using Natural Deduction Style	2007-11-27	Paper
Logic Programming	2005-08-26	Paper
A Hybrid Abductive Inductive Proof Procedure	2005-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q4707763	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4806970	2003-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4549486	2002-11-12	Paper
Labelled abduction. Compiled labelled abductive systems	2002-09-09	Paper
Labelled Natural Deduction for Conditional Logics of Normality	2002-08-08	Paper
Tableau methods for substructural logics	2001-11-14	Paper
Symbolic knowledge extraction from trained neural networks: A sound approach	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4946231	2001-02-05	Paper
Labelled natural deduction for substructural logics	2000-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4263007	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4301154	1994-07-13	Paper

Research outcomes over time

This page was built for person: Krysia Broda