Search filters

List of works by Nicola Leone

A comparison of structural CSP decomposition methods

scientific article (publication date: December 2000)

A logic programming approach to knowledge-state planning

A logic programming approach to knowledge-state planning, II: The DLVK system

Advances in WASP

scientific article published in 2015

Allotment Problem in Travel Industry: A Solution Based on ASP

scientific article published in 2015

An ASP-Based Data Integration System

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)

scientific article published in September 2016

Computing LOGCFL certificates

Data Integration: a Challenging ASP Application

scientific article published in 2005

Disjunctive ASP with functions: Decidable queries and effective computation

scientific article published in July 2010

Dynamic Magic Sets for Programs with Monotone Recursive Aggregates

scientific article published in 2011

Efficient Application of Answer Set Programming for Advanced Data Integration

Enhancing model checking in verification by AI techniques

Hypertree Decompositions

Hypertree Decompositions and Tractable Queries

Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System

article

Magic Sets for disjunctive Datalog programs

scientific article published in August 2012

Magic-Sets for Datalog with Existential Quantifiers

scientific article published in 2012

On ACTL Formulas Having Linear Counterexamples

article

On the Application of Answer Set Programming to the Conference Paper Assignment Problem

scientific article published in 2016

On the complexity of some Inductive Logic Programming problems

Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width

article

System Description: The DLVK Planning System

The ASP System DLV2

scientific article published in 2017

The ASP System DLV: Advancements and Applications

scientific article published on 14 May 2018

The DLV system for knowledge representation and reasoning

The Disjunctive Datalog System DLV

scientific article published in 2011

The H $\imath$ L ε X System for Semantic Information Extraction

scientific article published in 2012

The INFOMIX system for advanced integration of incomplete and inconsistent data

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track

scientific article published in 2011

The complexity of acyclic conjunctive queries

WASP: A Native ASP Solver Based on Constraint Learning

scientific article published in 2013

Paulina is supported by:

About Paulina

Help