Disjunctive ASP with functions: Decidable queries and effective computation

Mario Alviano, Wolfgang Faber, Nicola Leone. Disjunctive ASP with functions: Decidable queries and effective computation. TPLP, 10(4-6):497-512, 2010. [doi]

Authors

Mario Alviano

This author has not been identified. Look up 'Mario Alviano' in Google

Wolfgang Faber

This author has not been identified. Look up 'Wolfgang Faber' in Google

Nicola Leone

This author has not been identified. Look up 'Nicola Leone' in Google