Stable Model Semantics of Logic Programs
暂无分享,去创建一个
This chapter contains sections titled: 18.1 Basic concepts of logic programming, 18.2 Stable models of logic programs, 18.3 An alternative characterization, 18.4 Logic programs with classical negation, Problems