| 2025 | KES | Annotated Evidential Linear-time Temporal Logic. | Yotaro Nakayama, Yoshitaka Aoki, Seiki Akama |
| 2018 | INISTA | Handling Paraconsistency and Paracompleteness in Robotics. | Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, Alireza Ahrary |
| 2018 | KES | Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics. | Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu, Joo Incio da Silva Filho |
| 2018 | KES | Four-valued Tableau Calculi for Decision Logic of Rough Set. | Yotaro Nakayama, Seiki Akama, Tetsuya Murai |
| 2014 | GRC | Da Costa logics and vagueness. | Seiki Akama, Tetsuya Murai, Yasuo Kudo |
| 2013 | GRC | Bi-superintuitionistic logics for rough sets. | Seiki Akama, Tetsuya Murai, Yasuo Kudo |
| 2013 | MDAI | Fuzzy Multisets in Granular Hierarchical Structures Generated from Free Monoids. | Tetsuya Murai, Sadaaki Miyamoto, Masahiro Inuiguchi, Yasuo Kudo, Seiki Akama |
| 2012 | GRC | Non-ignorance and knowledge. | Seiki Akama, Tetsuya Murai, Yasuo Kudo |
| 2012 | KES | Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces. | Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama |
| 2011 | GRC | Paraconsistecy in future contradictions. | Seiki Akama, Tetsuya Murai, Yasuo Kudo |
| 2011 | GRC | A granular-sequence-based approach to multisets and rough sets with applications. | Tetsuya Murai, Yasuo Kudo, Mayuka F. Kawaguchi, Seiki Akama |
| 2011 | ICCCI | Applications of Paraconsistent Artificial Neural Networks in EEG. | Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama |
| 2010 | KES | Paraconsistent Artificial Neural Networks and EEG Analysis. | Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama |
| 2010 | KES | Monadic Curry System N | Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama |
| 2010 | KES | Constructive Discursive Reasoning. | Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe |
| 2010 | KES | Introduction to Intelligent Elevator Control Based on EVALPSN. | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev |
| 2009 | KES | A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN. | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
| 2008 | KES | Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
| 2007 | KES | Monadic Curry Algebras Q | Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu |
| 2007 | KES | A Natural Deduction System for Annotated Predicate Logic. | Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe |
| 2007 | KES | An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
| 2005 | KES | Non-alethic Reasoning in Distributed Systems. | Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama |
| 2005 | KES | An Intelligent Safety Verification Based on a Paraconsistent Logic Program. | Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe |
| 1997 | TABLEAUX | Tableaux for Logic Programming with Strong Negation. | Seiki Akama |
| 1994 | COLING | Consequence Relations In DRT. | Seiki Akama, Yotaro Nakayama |
| 1991 | ISMIS | Amalgamated Logic Programming and Non-Monotonic Reasoning. | Seiki Akama |
| 1986 | COLING | Methodology and Verifiability in Montague Grammar. | Seiki Akama |
| 1986 | COLING | Situational Investigation of Presupposition. | Seiki Akama, Masahito Kawamori |