- 相关
- 目录
- 笔记
- 书签
更多相关文档
- Semi-equilibrium models for paracoherent answer set programs
- 1 Introduction
- 2 Preliminaries
- 3 Semantic characterization of semi-stable models
- 4 Semi-equilibrium models
- 5 Split semi-equilibrium semantics
- 6 Canonical semi-equilibrium models
- 7 Complexity and computation
- 8 Related work
- 9 Further issues
- 10 Conclusion
- Acknowledgements
- Appendix A Appendix: proofs
- Appendix B Section 6
- Appendix C Section 7
- Appendix D Section 8
- References
暂无笔记
选择文本，点击鼠标右键菜单，添加笔记
暂无书签
在左侧文档中，点击鼠标右键，添加书签
Semi-equilibrium models for paracoherent answer set programs
格式：PDF
页数：53
上传日期：2016-05-24 10:54:41
浏览次数：6
下载积分：2000
加入阅读清单
0%
