Natural actions, concurrency and continuous time in the situation calculus

national conference on artificial intelligence,2005, 引用: 34

Learning non-monotonic logic programs to reason about actions and change,2001, 引用: 2

intelligent agents,2000, 引用: 9

,2003, 引用: 1

international joint conference on artificial intelligence,2013, 引用: 23

,2001, 引用: 0

international joint conference on artificial intelligence,2005, 引用: 20

dagstuhl seminar proceedings,2010, 引用: 1

international joint conference on artificial intelligence,1997, 引用: 1

International Symposium on Cyberspace Safety and Security,2013, 引用: 11