15 citations · 36 across the 12 of their papers we have counts for
13 papers
Explaining Weather Bulletins via ILP
Enrico Santi, Alessandro Dal Palù, Agostino Dovier +2
Inductive Logic Programming (ILP) originated within the Logic Programming community in the Nineties as a framework for combining symbolic learning with declarative knowledge repres…
XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions
Agostino Dovier, Talissa Dreossi, Andrea Formisano +1
We propose an approach to model articles of the Italian Criminal Code (ICC), using Answer Set Programming (ASP), and to semi-automatically learn legal rules from examples based on…
GPU Accelerated Compact-Table Propagation
Enrico Santi, Fabio Tardivo, Agostino Dovier +1
Constraint Programming developed within Logic Programming in the Eighties; nowadays all Prolog systems encompass modules capable of handling constraint programming on finite domain…
An xAI Approach for Data-to-Text Processing with ASP
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
The generation of natural language text from data series gained renewed interest among AI research goals. Not surprisingly, the few proposals in the state of the art are based on t…
Parallel Logic Programming: A Sequel
Agostino Dovier, Andrea Formisano, Gopal Gupta +3
Multi-core and highly-connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since i…
Modelling Multi-Agent Epistemic Planning in ASP
Alessandro Burigana, Francesco Fabiano, Agostino Dovier +1
Designing agents that reason and act upon the world has always been one of the main objectives of the Artificial Intelligence community. While for planning in "simple" domains the…