Stable Models and an Alternative Logic Programming Paradigm 论文
1999Artificial intelligence引用 734
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAdvanced Algebra and Logic
详细信息
- 发表期刊/会议
- Artificial intelligence
- 发表日期
- 1999-01-01
- 发表年份
- 1999
关键词
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAdvanced Algebra and Logic