2008 | ||
---|---|---|
5 | EE | Suguru Yoshioka, Masumi Morii, Shintaro Matsushima, Seiichi Tani: Spacio-Temporal Analysis Using the Web Archive System Based on Ajax. ICADL 2008: 317-320 |
2006 | ||
4 | Suguru Yoshioka, Mikito Kobayashi, Satoshi Tojo: State Updating of Channel Communication System CBCTL. Artificial Intelligence and Applications 2006: 487-492 | |
2005 | ||
3 | Suguru Yoshioka, Satoshi Tojo: C BCTL: A Reasoning System of Temporal Epistemic Logic with Communication Channel. WEC (5) 2005: 80-83 | |
2 | Suguru Yoshioka, Satoshi Tojo: Many-dimensional Modal Logic of Tense and Temporal Interval and its Decidability. WEC (5) 2005: 9-12 | |
2003 | ||
1 | Suguru Yoshioka, Ken Kaneiwa, Satoshi Tojo: Occurrence Logic with Temporal Heredity. IICAI 2003: 1296-1309 |
1 | Ken Kaneiwa | [1] |
2 | Mikito Kobayashi | [4] |
3 | Shintaro Matsushima | [5] |
4 | Masumi Morii | [5] |
5 | Seiichi Tani | [5] |
6 | Satoshi Tojo | [1] [2] [3] [4] |