Search filters

List of works by Mario Alviano

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

Generative Datalog with Stable Negation

scientific article published on 02 June 2023

Inconsistency Proofs for ASP: The ASP - DRUPE Format

scientific article published in 2019

Magic Sets for disjunctive Datalog programs

scientific article published in August 2012

Magic-Sets for Datalog with Existential Quantifiers

scientific article published in 2012

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 Third Answer Set Programming Competition: Preliminary Report of the System Competition Track

scientific article published in 2011

Paulina is supported by:

About Paulina

Help