In the process of creating a declarative program, the programmer transforms a problem specification expressed in a natural language into an executable specification. We study the case when the given specification is expressed by a mathematically precise definition, and the goal is to write a program for an answer set solver.

PDF

In Proceedings of ICLP Workshops, 2022.

@inproceedings{lif22, title={Translating Definitions into the Language of Logic Programming: A Case Study}, author={Vladimir Lifschitz}, booktitle={Proceedings of ICLP Workshops}, month={ }, url="http://www.cs.utexas.edu/users/ai-labpub-view.php?PubID=127960", year={2022} }