共 15 条
[1]
[Anonymous], J METHODS LOGIC COMP
[2]
Balduccini M., 2003, P INT S LOG FORM COM, P9
[3]
BOSEL A, 2004, P JELIA 04 SPRING, P702
[4]
Brain M., 2005, P ASP 05, P141
[5]
Clark K. L., 1978, Logic and data bases, P293
[9]
PEMMASANI G, 2004, P 7 INT S FUNCT LOG, P24
[10]
Justifications for logic programs under answer set semantics
[J].
LOGIC PROGRAMMING, PROCEEDINGS,
2006, 4079
:196-210