共 33 条
[2]
[Anonymous], 2003, DESCRIPTION LOGIC HD
[3]
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
[4]
[Anonymous], 2002, Cambridge Tracts in Theoretical Computer Science
[5]
Bienvenu M, 2007, P 22 C ART INT AAAI, P397
[6]
Bienvenu M., 2009, THESIS U TOULOUSE
[7]
Bienvenu Meghyn., 2008, AAAI, P412
[9]
Blackburn Patrick, 2006, Studies in Logic and Practical Reasoning, V3
[10]
BRANDT S, 2002, P KI 2002 WORKSH APP