mlsanityData to 14 Oct 2026

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

arXiv 2407.06814 ↗First posted 9 Jul 2024cs.AIcited by 0

Not on the map. Why?

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

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

1 of 23 references.

References · 1

  1. 2019The informal semantics of Answer Set Programming: A Tarskian perspectivecited by 3

Built on by

Not cited yet.