Filtros de búsqueda

Lista de obras de Nicola Leone

A comparison of structural CSP decomposition methods

artículo científico publicado en 2000

A logic programming approach to knowledge-state planning

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

Advances in WASP

artículo científico publicado en 2015

Allotment Problem in Travel Industry: A Solution Based on ASP

artículo científico publicado en 2015

An ASP-Based Data Integration System

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

artículo científico publicado en 2016

Computing LOGCFL certificates

Data Integration: a Challenging ASP Application

artículo científico publicado en 2005

Disjunctive ASP with functions: Decidable queries and effective computation

artículo científico publicado en 2010

Dynamic Magic Sets for Programs with Monotone Recursive Aggregates

artículo científico publicado en 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

artículo científico publicado en 2012

Magic-Sets for Datalog with Existential Quantifiers

artículo científico publicado en 2012

On ACTL Formulas Having Linear Counterexamples

article

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

artículo científico publicado en 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

artículo científico publicado en 2017

The ASP System DLV: Advancements and Applications

artículo científico publicado en 2018

The DLV system for knowledge representation and reasoning

The Disjunctive Datalog System DLV

artículo científico publicado en 2011

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

artículo científico publicado en 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

artículo científico publicado en 2011

The complexity of acyclic conjunctive queries

WASP: A Native ASP Solver Based on Constraint Learning

artículo científico publicado en 2013

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda