Characterizations of the stable semantics by partial evaluation

DOI10.1007/3-540-59487-6_7zbMath1496.68086OpenAlexW1706499668MaRDI QIDQ5101443

Jürgen Dix, Stefan Brass

Publication date: 30 August 2022

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59487-6_7

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (3)

Unfold/fold transformations for disjunctive logic programs ⋮ A Framework for Goal-Directed Query Evaluation with Negation ⋮ Characterizing D-WFS: Confluence and iterated GCWA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Static semantics for normal and disjunctive logic programs
• Characterizations of the disjunctive stable semantics by partial evaluation
• Partial deduction in disjunctive logic programming
• Semantics of (disjunctive) logic programs based on partial evaluation

This page was built for publication: Characterizations of the stable semantics by partial evaluation