scholarly journals A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms

Author(s):  
Kees van Berkel ◽  
Tim Lyon ◽  
Francesco Olivieri
2014 ◽  
Vol 134 (10) ◽  
pp. 1515-1523
Author(s):  
Akihiro Ogawa ◽  
Kazunari Maki ◽  
Kiyoshi Hata ◽  
Yasunori Takeuchi ◽  
Fumio Ishikawa

2013 ◽  
Vol 133 (9) ◽  
pp. 1652-1657 ◽  
Author(s):  
Takeshi Nagata ◽  
Kosuke Kato ◽  
Masahiro Utatani ◽  
Yuji Ueda ◽  
Kazuya Okamoto ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document