P-stable models of strong kernel programs

DOI10.1016/J.JALGOR.2009.02.004MaRDI QIDQ3631321zbMATH OpenOpenAlexFDO

Authors 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

kernel programslogic programmingp-stable semanticsstable semantics

Mathematics Subject Classification ID

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

Recommendations

• Contributions to the stable model semantics of logic programs with negation
• Deterministic and non-deterministic stable models
• Logics with Common Weak Completions
• scientific article; zbMATH DE number 1890625
• scientific article; zbMATH DE number 640290

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3631321)