The splitting property of stable models

MaRDI QIDQ2823805zbMATH OpenFDO

Authors Wenbin Chen, Fufang Li, Yu Zou

Publication date 6 October 2016

Published in Journal of Guangzhou University. Natural Science Edition (Search for Journal in Brave)

zbMATH Keywords

Herbrand modellogic programsstable modelsstable set

Mathematics Subject Classification ID

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

Recommendations

• Strong splitting in stable homogeneous models
• Splittings and the finite model property
• Partitioning subsets of stable models
• Stably splitting BG
• Stable models and circumscription
• Stable splittings and the diagonal
• The existence and uniqueness of standard static splitting
• Decompositions of saturated models of stable theories
• scientific article; zbMATH DE number 4094376
• Modularity Aspects of Disjunctive Stable Models

Cited in

(3)

• The split-BREAK model
• Stably splitting BG
• How to split a logic program

This page was built for publication: The splitting property of stable models

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