Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
From MaRDI portal
Publication:5449612
DOI10.1007/11799573_26zbMath1131.68369MaRDI QIDQ5449612
No author found.
Publication date: 11 March 2008
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11799573_26
Related Items
Relativized Hyperequivalence of Logic Programs for Modular Programming, Equilibrium logic, Hyperequivalence of logic programs with respect to supported models, Partial equilibrium logic, Well-Founded and Partial Stable Semantics Logical Aspects