| Publication | Date of Publication | Type |
|---|
Logic-based learning of answer set programs
| 2024-03-14 | Paper |
FFNSL: Feed-forward neural-symbolic learner
Machine Learning | 2023-06-12 | Paper |
Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework
Machine Learning | 2022-08-10 | 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 |
A declarative approach to distributed computing: specification, execution and analysis
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
On minimality and integrity constraints in probabilistic abduction
Logic for Programming, Artificial Intelligence, and Reasoning | 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
Correct Reasoning | 2012-07-23 | Paper |
Inductive logic programming as abductive search
| 2012-05-11 | Paper |
Probabilistic Rule Learning in Nonmonotonic Domains
Lecture Notes in Computer Science | 2011-09-16 | Paper |
Normative design using inductive learning
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
Compiled labelled deductive systems for access control
| 2011-06-21 | Paper |
Refinement of history-based policies
Lecture Notes in Computer Science | 2011-05-19 | 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 |
Belief revision in non-classical logics
The Review of Symbolic Logic | 2010-08-13 | Paper |
Revision, acceptability and context. Theoretical and algorithmic aspects.
Cognitive Technologies | 2010-08-03 | Paper |
Deriving non-Zeno behaviour models from goal models using ILP
Formal Aspects of Computing | 2010-05-28 | 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 |
Using abduction and induction for operational requirements elaboration
Journal of Applied Logic | 2009-08-14 | Paper |
Extracting Requirements from Scenarios with ILP
Inductive Logic Programming | 2007-11-15 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Advances in Artificial Intelligence – SBIA 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
A Hybrid Abductive Inductive Proof Procedure
Logic Journal of the IGPL | 2005-04-05 | Paper |
scientific article; zbMATH DE number 2090517 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 1790421 (Why is no real title available?)
| 2002-11-12 | Paper |
Labelled Natural Deduction for Conditional Logics of Normality
Logic Journal of the IGPL | 2002-08-08 | 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 935035 (Why is no real title available?)
| 1999-08-31 | Paper |
scientific article; zbMATH DE number 1140671 (Why is no real title available?)
| 1998-12-10 | Paper |
Grafting modalities onto substructural implication systems
Studia Logica | 1998-05-11 | Paper |
