- [Home]
- [Research achievement]
- [Research achievement detail]
| Title | Combining Paraconsistency and Probability in CTL (in Japanese) |
|---|---|
| Authors | Norihiro Kamide 、Daiki Koizumi |
| Released Year | 2014 |
| Format | International Conference |
| Category | Information security |
| Jounal Name | Proc. of The 7th International Conference on Agents and Artificial Intelligence (ICAART) 2015, vol. 2 |
| Jounal Page | pp. 285-293, Lisbon, Portugal |
| Published Year | 2015 |
| Published Month | 1 |
| Abstract （English） |
|
| Note （English） |
1 |
| Manuscript | |
| Presentation |
