Arnel Zamayla

According to our database, Arnel Zamayla authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

ValAsp: A Tool for Data Validation in Answer Set Programming.

Mario Alviano, Carmine Dodaro, Arnel Zamayla

Theory Pract. Log. Program., September, 2023

2021

Data Validation Meets Answer Set Programming.

Mario Alviano, Carmine Dodaro, Arnel Zamayla

Proceedings of the Practical Aspects of Declarative Languages, 2021

A Speech about Generative Datalog and Non-measurable Sets.

Mario Alviano, Arnel Zamayla

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021