共 53 条
[1]
ALLEN JF, 1991, REASONING PLANS, P2
[2]
[Anonymous], 1985, LOGIQUE ANAL
[3]
ARTALE A, 1994, MOR KAUF R, P3
[4]
Artale A., 1999, INT WORKSH DESCR LOG, P145
[5]
Artale A., 1998, J ARTIFICIAL INTELLI, V9
[6]
Baader F, 1995, INT JOINT CONF ARTIF, P808
[7]
BAADER F., 1995, J APPL NONCLASSICAL, V5, P153
[8]
BAADER F, 1990, TM9004 DFKI
[9]
BAADER F, 1991, P 12 INT JOINT C ART, P446