SMODELSA -: A system for computing answer sets of logic programs

被引：13

作者：

Elkabani, I ^{[1
]}

Pontelli, E ^{[1
]}

Son, TC ^{[1
]}

机构：

[1] New Mexico State Univ, Las Cruces, NM 88003 USA

来源：

LOGIC PROGRAMMING AND NONMONOTONIC REASONING | 2005年 / 3662卷

关键词：

D O I：

10.1007/11546207_40

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：427 / 431

页数：5