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
Learning weak constraints in answer set programming	2017-11-09	Paper
Iterative Learning of Answer Set Programs from Context Dependent Examples	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
https://portal.mardi4nfdi.de/entity/Q3007249	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
https://portal.mardi4nfdi.de/entity/Q2701982	2002-09-09	Paper
Labelled Natural Deduction for Conditional Logics of Normality	2002-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q2753602	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