| Publication | Date of Publication | Type |
|---|
| Logic-based learning of answer set programs | 2024-03-14 | Paper |
| FFNSL: Feed-forward neural-symbolic learner | 2023-06-12 | Paper |
| Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework | 2022-08-10 | 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 |
| A declarative approach to distributed computing: specification, execution and analysis | 2014-02-27 | Paper |
| On minimality and integrity constraints in probabilistic abduction | 2014-01-17 | Paper |
| An inductive approach for modal transition system refinement | 2012-08-29 | Paper |
| Multi-agent confidential abductive reasoning | 2012-08-29 | Paper |
| Declarative distributed computing | 2012-07-23 | Paper |
| Inductive logic programming as abductive search | 2012-05-11 | Paper |
| Probabilistic Rule Learning in Nonmonotonic Domains | 2011-09-16 | Paper |
| Normative design using inductive learning | 2011-08-16 | Paper |
| Compiled labelled deductive systems for access control | 2011-06-21 | Paper |
| Refinement of history-based policies | 2011-05-19 | 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 |
| Belief revision in non-classical logics | 2010-08-13 | Paper |
| Revision, acceptability and context. Theoretical and algorithmic aspects. | 2010-08-03 | Paper |
| Deriving non-Zeno behaviour models from goal models using ILP | 2010-05-28 | Paper |
| Inductive Logic Programming | 2010-02-23 | Paper |
| Induction on Failure: Learning Connected Horn Theories | 2009-11-10 | Paper |
| Using abduction and induction for operational requirements elaboration | 2009-08-14 | Paper |
| Extracting Requirements from Scenarios with ILP | 2007-11-15 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Advances in Artificial Intelligence – SBIA 2004 | 2005-08-22 | Paper |
| A Hybrid Abductive Inductive Proof Procedure | 2005-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809153 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549486 | 2002-11-12 | Paper |
| Labelled Natural Deduction for Conditional Logics of Normality | 2002-08-08 | 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/Q4895423 | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385436 | 1998-12-10 | Paper |
| Grafting modalities onto substructural implication systems | 1998-05-11 | Paper |
