Krysia Broda

Available identifiers

zbMath Open broda.krysia-bMaRDI QIDQ324689

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Krysia Broda