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

Yuliya Lierler
7/9/2024
cs.AI

No confident code implementation found for this paper.

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. Under consideration in Theory and Practice of Logic Programming (TPLP).

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Refining Gelfond Rationality Principle Towards More Comprehensive Foundational Principles for Answer Set Semantics

78% match2025

Pearce's Characterisation in an Epistemic Domain

77% match2025

Chain of Code: Reasoning with a Language Model-Augmented Code Emulator

75% match2023

Chain of Code: Reasoning with a Language Model-Augmented Code Emulator

75% match2023

Human Conditional Reasoning in Answer Set Programming

75% match2023

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes

75% match2025

Cite this paper

@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},
  year   = {2024},
  eprint = {2407.06814},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2407.06814v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2407.06814.svg)](https://codeofpaper.com/paper/2407.06814)

Discussion