
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...
read it

Induction and Exploitation of Subgoal Automata for Reinforcement Learning
In this paper we present ISA, an approach for learning and exploiting su...
read it

The ILASP system for Inductive Learning of Answer Set Programs
The goal of Inductive Logic Programming (ILP) is to learn a program that...
read it

A general framework for scientifically inspired explanations in AI
Explainability in AI is gaining attention in the computer science commun...
read it

Induction of Subgoal Automata for Reinforcement Learning
In this work we present ISA, a novel approach for learning and exploitin...
read it

Saliency Maps Generation for Automatic Text Summarization
Saliency map generation techniques are at the forefront of explainable A...
read it

Towards Intuitive Reasoning in Axiomatic Geometry
Proving lemmas in synthetic geometry is often a timeconsuming endeavour...
read it

Inductive Learning of Answer Set Programs from Noisy Examples
In recent years, nonmonotonic Inductive Logic Programming has received ...
read it

The Elfe System  Verifying mathematical proofs of undergraduate students
Elfe is an interactive system for teaching basic proof methods in discre...
read it

Iterative Learning of Answer Set Programs from Context Dependent Examples
In recent years, several frameworks and systems have been proposed that ...
read it
Krysia Broda
is this you? claim profile