Loop checking and the well-founded semantics

DOI10.1007/3-540-59487-6_10zbMath1496.68089OpenAlexW1886209570MaRDI QIDQ5101446

Robert F. Stärk, Norman McCain, Vladimir Lifschitz, Teodor C. Przymusinski

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_10

Mathematics Subject Classification ID

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

Cites Work

• Well-founded and stationary models of logic programs
• A goal-oriented approach to computing the well-founded semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Loop checking and the well-founded semantics