| 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 |
| https://portal.mardi4nfdi.de/entity/Q3007249 | 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 | 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 |
