Author of the publication

Data Validation Meets Answer Set Programming.

, , and . PADL, volume 12548 of Lecture Notes in Computer Science, page 90-106. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Zamayla, Arnel
add a person with the name Zamayla, Arnel
 

Other publications of authors with the same name

Data Validation Meets Answer Set Programming., , and . PADL, volume 12548 of Lecture Notes in Computer Science, page 90-106. Springer, (2021)A Speech about Generative Datalog and Non-measurable Sets., and . ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)ValAsp: A Tool for Data Validation in Answer Set Programming., , and . Theory Pract. Log. Program., 23 (5): 965-985 (September 2023)ValAsp: a tool for data validation in Answer Set Programming., , and . CoRR, (2022)Decision-making system of soccer-playing robots using finite state machine based on skill hierarchy and path planning through Bezier polynomials., , and . ICCSCI, volume 135 of Procedia Computer Science, page 230-237. Elsevier, (2018)