Author ORCID Identifier
https://orcid.org/0000-0002-6146-623X
Document Type
Article
Publication Date
10-10-2024
Publication Title
Theory and Practice of Logic Programming
Volume
First View
First Page
1
Last Page
20
DOI
https://doi.org/10.1017/S1471068424000218
Abstract
This note presents a historical survey of informal semantics that are associated with logic programming under answer set semantics. We review these in uniform terms and align them with two paradigms: Answer Set Programming and ASP-Prolog — two prominent Knowledge Representation and Reasoning Paradigms in Artificial Intelligence.
Recommended Citation
Lierler, Yuliya, "Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’12" (2024). Computer Science Faculty Publications. 106.
https://digitalcommons.unomaha.edu/compscifacpub/106
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.
Comments
This article was published under the Open Access Publishing Agreement between the University of Nebraska at Omaha and Cambridge University Press.
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.