Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12
This is an incremental historical review for researchers in knowledge representation and reasoning, providing a structured overview of existing semantics without introducing new methods.
The paper surveys informal semantics for logic programming under answer set semantics, reviewing variants like GL'88, GL'91, GK'14, and D-V'12 in uniform terms and aligning them with Answer Set Programming and ASP-Prolog paradigms.
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).