共 31 条
[2]
Antoniotti M, 2003, Pac Symp Biocomput, P116
[4]
Baral C., 2003, Knowledge Representation, Reasoning and Declarative Problem Solving
[5]
Chabrier N, 2003, LECT NOTES COMPUT SC, V2602, P149
[7]
Eker Steven, 2002, Pac Symp Biocomput, P400
[9]
REPRESENTING ACTION AND CHANGE BY LOGIC PROGRAMS
[J].
JOURNAL OF LOGIC PROGRAMMING,
1993, 17 (2-4)
:301-321

