Implementing an automated reasoning system for multi-agent knowledge and time
2012 ◽
pp. 165-178
Keyword(s):
Keyword(s):