共 40 条
[12]
ASSAT: computing answer sets of a logic program by SAT solvers.[J].Fangzhen Lin;Yuting Zhao.Artificial Intelligence.2004, 1
[14]
[15]
Expressing preferences in default logic.[J].James P. Delgrande;Torsten Schaub.Artificial Intelligence.2000, 1
[18]
CYC.[J].Douglas B. Lenat.Communications of the ACM.1995, 11
[19]
A linguistic ontology.[J].Kathleen Dahlgren.International Journal of Human - Computer Studies.1995, 5

