Tools and Methodologies for Verifying Answer Set Programs

Zach Hansen
(University of Nebraska Omaha)

Answer Set Programming (ASP) is a powerful declarative programming paradigm commonly used for solving challenging search and optimization problems. The modeling languages of ASP are supported by sophisticated solving algorithms (solvers) that make the solution search efficient while enabling the programmer to model the problem at a high level of abstraction. As an approach to Knowledge Representation and Reasoning, ASP benefits from its simplicity, conciseness and rigorously defined semantics. These characteristics make ASP a straightforward way to develop formally verifiable programs. In the context of artificial intelligence (AI), the clarity of ASP programs lends itself to the construction of explainable, trustworthy AI. In support of these goals, my research is concerned with extending the theory and tools supporting the verification of ASP progams.

In Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser and Tuncay Tekle: Proceedings 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, 31st July 2022 - 6th August 2022, Electronic Proceedings in Theoretical Computer Science 364, pp. 211–216.
Published: 4th August 2022.

ArXived at: https://dx.doi.org/10.4204/EPTCS.364.36 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org