# Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12

arXiv: https://arxiv.org/abs/2407.06814 · HTML: https://mlsanity.com/paper/2407.06814/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 23 references that are in the map.
- First posted on arXiv 9 Jul 2024.

## Builds on (most cited first, 1 of 1)

- [The informal semantics of Answer Set Programming: A Tarskian perspective](https://mlsanity.com/paper/1901.09125/) (2019)

## Abstract (arXiv)

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).