| Publication | Date of Publication | Type |
|---|
| Logic-based learning of answer set programs | 2024-03-14 | Paper |
Reactive Answer Set Programming
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Induction and exploitation of subgoal automata for reinforcement learning
Journal of Artificial Intelligence Research | 2021-03-26 | Paper |
The complexity and generality of learning answer set programs
Artificial Intelligence | 2018-06-26 | Paper |
Iterative learning of answer set programs from context dependent examples
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Learning weak constraints in answer set programming
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Probabilistic abductive logic programming using Dirichlet priors
International Journal of Approximate Reasoning | 2016-10-17 | Paper |
Automated inference of rules with exception from past legal cases using ASP
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Learning through hypothesis refinement using answer set programming
Inductive Logic Programming | 2015-09-07 | Paper |
Inductive learning of answer set programs
Logics in Artificial Intelligence | 2015-01-14 | Paper |
On minimality and integrity constraints in probabilistic abduction
Logic for Programming, Artificial Intelligence, and Reasoning | 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
AI Communications | 2011-05-18 | Paper |
| The dynamics of multi-agent reinforcement learning | 2011-05-11 | Paper |
Distributed Abductive Reasoning with Constraints
Declarative Agent Languages and Technologies VIII | 2011-05-11 | Paper |
On the Implementation of Speculative Constraint Processing
Lecture Notes in Computer Science | 2010-11-09 | Paper |
Speculative abductive reasoning for hierarchical agent systems
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Inductive Logic Programming
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Induction on Failure: Learning Connected Horn Theories
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Pandora: A Reasoning Toolbox using Natural Deduction Style
Logic Journal of the IGPL | 2007-11-27 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
A Hybrid Abductive Inductive Proof Procedure
Logic Journal of the IGPL | 2005-04-05 | Paper |
| scientific article; zbMATH DE number 1926635 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1911276 (Why is no real title available?) | 2003-05-15 | Paper |
| scientific article; zbMATH DE number 1790421 (Why is no real title available?) | 2002-11-12 | Paper |
| Labelled abduction. Compiled labelled abductive systems | 2002-09-09 | Paper |
Labelled Natural Deduction for Conditional Logics of Normality
Logic Journal of the IGPL | 2002-08-08 | Paper |
| Tableau methods for substructural logics | 2001-11-14 | Paper |
Symbolic knowledge extraction from trained neural networks: A sound approach
Artificial Intelligence | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1421202 (Why is no real title available?) | 2001-02-05 | Paper |
Labelled natural deduction for substructural logics
Logic Journal of the IGPL | 2000-01-11 | Paper |
| scientific article; zbMATH DE number 1341468 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 605793 (Why is no real title available?) | 1994-07-13 | Paper |
