research
∙
05/31/2022
Hierarchies of Reward Machines
Reward machines (RMs) are a recent formalism for representing the reward...
share
research
∙
09/22/2021
Reactive Answer Set Programming
Logic Production System (LPS) is a logic-based framework for modelling r...
research
∙
05/23/2021
PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics
The Credal semantics is a probabilistic extension of the answer set sema...
research
∙
09/08/2020
Induction and Exploitation of Subgoal Automata for Reinforcement Learning
In this paper we present ISA, an approach for learning and exploiting su...
research
∙
05/02/2020
The ILASP system for Inductive Learning of Answer Set Programs
The goal of Inductive Logic Programming (ILP) is to learn a program that...
research
∙
03/02/2020
A general framework for scientifically inspired explanations in AI
Explainability in AI is gaining attention in the computer science commun...
research
∙
11/29/2019
Induction of Subgoal Automata for Reinforcement Learning
In this work we present ISA, a novel approach for learning and exploitin...
research
∙
07/12/2019
Saliency Maps Generation for Automatic Text Summarization
Saliency map generation techniques are at the forefront of explainable A...
research
∙
04/01/2019
Towards Intuitive Reasoning in Axiomatic Geometry
Proving lemmas in synthetic geometry is often a time-consuming endeavour...
research
∙
08/25/2018
Inductive Learning of Answer Set Programs from Noisy Examples
In recent years, non-monotonic Inductive Logic Programming has received ...
research
∙
01/31/2018
The Elfe System - Verifying mathematical proofs of undergraduate students
Elfe is an interactive system for teaching basic proof methods in discre...
research
∙
08/05/2016