P-stable models of strong kernel programs

DOI10.1016/J.JALGOR.2009.02.004zbMath1167.68013OpenAlexW2034673354MaRDI QIDQ3631321

Claudia Zepeda, José Luis Carballido

Publication date: 8 June 2009

Published in: Journal of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgor.2009.02.004

zbMATH Keywords

logic programmingstable semanticskernel programsp-stable semantics

Mathematics Subject Classification ID

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

This page was built for publication: P-stable models of strong kernel programs