6 citations · 12 across the 11 of their papers we have counts for
14 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…
Epistemic Logic Programs: a study of some properties
Stefania Costantini, Andrea Formisano
Epistemic Logic Programs (ELPs), extend Answer Set Programming (ASP) with epistemic operators. The semantics of such programs is provided in terms of world views, which are sets of…
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…