Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12
<|reference_start|>Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12: 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. Under consideration in Theory and Practice of Logic Programming (TPLP).<|reference_end|>
@article{lierler2024historical,
    title={Historical Review of Variants of Informal Semantics for Logic Programs
  under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12},
    author={Yuliya Lierler},
    journal={arXiv preprint arXiv:2407.06814},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.06814},
    primaryClass={cs.AI}
}