On the existence of stable models of non-stratified logic programs

DOI10.1017/S1471068405002589zbMath1109.68027OpenAlexW2156621773MaRDI QIDQ3426203

Stefania Costantini

Publication date: 8 March 2007

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068405002589

zbMATH Keywords

answer set semanticscanonical programslogic programs class

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (6)

On the existence and unicity of stable models in normal residuated logic programs ⋮ A Selective Semantics for Logic Programs with Preferences ⋮ RASP and ASP as a fragment of linear logic ⋮ Epistemic logic programs: a study of some properties ⋮ Unnamed Item ⋮ Answering the “why” in answer set programming – A survey of explanation approaches

This page was built for publication: On the existence of stable models of non-stratified logic programs