共 11 条
[1]
Baader F., 2014, VSL KR KEYNOTE
[2]
Cohn A., 2014, INVITED TALK
[3]
Gottlob G., 2014, KR INVITED TALK
[5]
Lomuscio A., 2014, KR TUTORIAL
[6]
McCarthy J., 1959, P TEDD C MECH THOUGH, P756
[7]
McIlraith S., 2014, KR INVITED TALK
[8]
Moss L., 2014, KR TUTORIAL
[9]
Ovchinnikova E., 2014, KR TUTORIAL
[10]
Reiter R., 2001, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems