Stable generated models, partial temporal logic and disjunctive defaults

DOI10.1016/S0743-1066(99)00008-4MaRDI QIDQ4719371zbMATH OpenFDO

Authors Joeri Engelfriet, Heinrich Herre

Publication date 4 January 2000

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(99)00008-4

zbMATH Keywords

semantics for logic programming

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1407675
• scientific article; zbMATH DE number 25192
• Well-founded and stationary models of logic programs
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs

Cited in

(3)

• The relationship between stable, supported, default and autoepistemic semantics for general logic programs
• Stable Models for Temporal Theories
• scientific article; zbMATH DE number 2084772 (Why is no real title available?)

This page was built for publication: Stable generated models, partial temporal logic and disjunctive defaults

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