Seiki Akama

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 14

Top Topics

Classical Logic

Valued Semantics

Top Venues

J. Adv. Comput. Intell. Intell. Informatics

Publications

Yotaro Nakayama, Seiki Akama, Jair Minoro Abe, Tetsuya Murai
Annotated Logic with Rough Double Stone Algebraic Interpretation. FUZZ (2023)
Yotaro Nakayama, Seiki Akama, Jair Minoro Abe, Tetsuya Murai
Four-Valued Interpretation for Paraconsistent Annotated Evidential Logic. KES-IDT (2022)
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Many-valued tableau calculi for decision logic based on approximation regions in VPRS. Int. J. Reason. based Intell. Syst. 13 (4) (2021)
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Rough Set Logic for Kleene's Three-valued Logic. SCIS/ISIS (2020)
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Bilattice Logic for Rough Sets. J. Adv. Comput. Intell. Intell. Informatics 24 (6) (2020)
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu, João Inácio da Silva Filho
Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics. KES (2018)
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Four-Valued Semantics for Granular Reasoning Towards Frame Problem. SCIS&ISIS (2018)
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Four-valued Tableau Calculi for Decision Logic of Rough Set. KES (2018)
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, Alireza Ahrary
Handling Paraconsistency and Paracompleteness in Robotics. INISTA (2018)
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho
The Importance of Paraconsistency and Paracompleteness in Intelligent Systems. KES-IDT (2) (2017)
Seiki Akama, Tetsuya Murai, Yasuo Kudo
Partial and paraconsistent approaches to future contingents in tense logic. Synth. 193 (11) (2016)
Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu
Evidential Reasoning in Annotated Logics. IIAI-AAI (2015)
Tetsuya Murai, Sadaaki Miyamoto, Masahiro Inuiguchi, Yasuo Kudo, Seiki Akama
Fuzzy Multisets in Granular Hierarchical Structures Generated from Free Monoids. J. Adv. Comput. Intell. Intell. Informatics 19 (1) (2015)
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho
. KES-IDT (2015)
Seiki Akama, Tetsuya Murai, Yasuo Kudo
Da Costa logics and vagueness. GrC (2014)
Tetsuya Murai, Sadaaki Miyamoto, Masahiro Inuiguchi, Yasuo Kudo, Seiki Akama
Crisp and Fuzzy Granular Hierarchical Structures Generated from a Free Monoid. J. Adv. Comput. Intell. Intell. Informatics 18 (6) (2014)
Seiki Ubukata, Tetsuya Murai, Yasuo Kudo, Seiki Akama
Variable Neighborhood Model for Agent Control Introducing Accessibility Relations Between Agents with Linear Temporal Logic. J. Adv. Comput. Intell. Intell. Informatics 18 (6) (2014)
Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu
Contingent Information: A Four-Valued Approach. KSE (2014)
Takehiro Tanaka, Tetsuya Murai, Yasuo Kudo, Seiki Akama
Empty-stringizing of the false value in crisp and fuzzy granular hierarchical structures. SCIS&ISIS (2014)
Seiki Akama, Tetsuya Murai, Yasuo Kudo
Epistemic Logic Founded on Nonignorance. Int. J. Intell. Syst. 28 (9) (2013)
Seiki Akama, Tetsuya Murai, Yasuo Kudo
Bi-superintuitionistic logics for rough sets. GrC (2013)
Seiki Akama, Tetsuya Murai, Yasuo Kudo
Heyting-Brouwer Rough Set Logic. KSE (2) (2013)
Tetsuya Murai, Sadaaki Miyamoto, Masahiro Inuiguchi, Yasuo Kudo, Seiki Akama
Fuzzy Multisets in Granular Hierarchical Structures Generated from Free Monoids. MDAI (2013)
Tetsuya Murai, Sadaaki Miyamoto, Masahiro Inuiguchi, Seiki Akama
Granular hierarchical structures of finite naïve subsets and multisets based on free monoids and homomorphisms. Int. J. Reason. based Intell. Syst. 4 (3) (2012)
Seiki Akama, Tetsuya Murai, Yasuo Kudo
Non-ignorance and knowledge. GrC (2012)
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama
Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces. KES (2012)
Seiki Akama, Tetsuya Murai, Yasuo Kudo
Paraconsistecy in future contradictions. GrC (2011)
Seiki Akama, Yasunori Nagata
A Three-Valued Approach to the Master Argument. ISMVL (2011)
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN. Int. J. Knowl. Based Intell. Eng. Syst. 15 (3) (2011)
Seiki Akama
Discursive reasoning in a constructive setting. Int. J. Reason. based Intell. Syst. 3 (2) (2011)
Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama
Applications of Paraconsistent Artificial Neural Networks in EEG. ICCCI (1) (2011)
Tetsuya Murai, Yasuo Kudo, Mayuka F. Kawaguchi, Seiki Akama
A granular-sequence-based approach to multisets and rough sets with applications. GrC (2011)
Seiki Akama, Tetsuya Murai, Yasuo Kudo
Uncertainty in Future: A Paraconsistent Approach. IUM (2010)
Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama
Paraconsistent Artificial Neural Networks and EEG Analysis. KES (3) (2010)
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev
Introduction to Intelligent Elevator Control Based on EVALPSN. KES (3) (2010)
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama
. KES (3) (2010)
Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe
Constructive Discursive Reasoning. KES (3) (2010)
Tetsuya Murai, Seiki Ubukata, Yasuo Kudo, Seiki Akama, Sadaaki Miyamoto
Granularity and Approximation in Sequences, Multisets, and Sets in the Framework of Kripke Semantics. IUM (2010)
Seiki Akama
Negative facts and constructible falsity. Int. J. Reason. based Intell. Syst. 1 (1/2) (2009)
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN. KES (2) (2009)
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. RSFDGrC (2009)
Yasuo Kudo, Tetsuya Murai, Seiki Akama
A granularity-based framework of deduction, induction, and abduction. Int. J. Approx. Reason. 50 (8) (2009)
Seiki Akama, Yasunori Nagata, Chikatoshi Yamada
and Future Contingents. Stud Logica 88 (2) (2008)
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. KES (2) (2008)
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. KES (2) (2007)
Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe
A Natural Deduction System for Annotated Predicate Logic. KES (2) (2007)
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
. KES (2) (2007)
Seiki Akama, Yasunori Nagata
Prior's Three-Valued Modal Logic Q and its Possible Applications. J. Adv. Comput. Intell. Intell. Informatics 11 (1) (2007)
Seiki Akama, Yasunori Nagata
Constructive Logic and Situation Theory. LAPTEC (2005)
Seiki Akama, Yasunori Nagata
On Prior's Three-Valued Modal Logic Q. ISMVL (2005)
Seiki Akama, Tetsuya Murai
Rough Set Semantics for Three-Valued Logics. LAPTEC (2005)
Tetsuya Murai, Yasuo Kudo, Seiki Akama, Jair Minoro Abe
Paraconsistency and Paracompleteness in Chellas's Conditional Logics. LAPTEC (2005)
Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe
An Intelligent Safety Verification Based on a Paraconsistent Logic Program. KES (2) (2005)
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama
Non-alethic Reasoning in Distributed Systems. KES (2) (2005)
Jair Minoro Abe, Seiki Akama
Annotated Temporal Logics Delta*tau. IBERAMIA-SBIA (2000)
Seiki Akama, Jair Minoro Abe
Many-Valued and Annotated Modal Logics. ISMVL (1998)
Seiki Akama
Tableaux for Logic Programming with Strong Negation. TABLEAUX (1997)
Seiki Akama
A Proof Method for the Six-Valued Logic for Incomplete Information. ISMVL (1997)
Seiki Akama
Curry's paradox in contractionless constructive logic. J. Philos. Log. 25 (2) (1996)
Seiki Akama, Yotaro Nakayama
A Three-Valued Semantics for Discourse Representations. ISMVL (1995)
Seiki Akama
Three-Valued Constructive Logic and Logic Programs. ISMVL (1995)
Seiki Akama, Yotaro Nakayama
Consequence Relations In DRT. COLING (1994)
Seiki Akama
The Gentzen-Kripke construction of the intermediate logic LQ. Notre Dame J. Formal Log. 33 (1) (1992)
Seiki Akama, Hiroto Ohnishi
Overview of Non-monotonic Deduction Systems. IWAR (1992)
Seiki Akama
Amalgamated Logic Programming and Non-Monotonic Reasoning. ISMIS (1991)
Akira Ishikawa, Seiki Akama
A Semantic Interface for Logic Grammars and its Application to DRT. Natural Language Understanding and Logic Programming Workshop (1991)
Seiki Akama
Subformula semantics for strong negation systems. J. Philos. Log. 19 (2) (1990)
Akira Ishikawa, Seiki Akama
Long-Distance Dependencies in a Logic Grammar: SCP. J. Inf. Sci. Eng. 5 (4) (1989)
Seiki Akama, Akira Ishikawa
Semantically Constrained Parsing and Logic Programming. META (1988)
Seiki Akama
Constructive predicate logic with strong negation and model theory. Notre Dame J. Formal Log. 29 (1) (1988)
Seiki Akama
On the Proof Method for Constructive Falsity. Math. Log. Q. 34 (5) (1988)
Seiki Akama, Masahito Kawamori
Data Semantics in Logic Programming Framework. Natural Language Understanding and Logic Programming Workshop (1987)
Seiki Akama, Masahito Kawamori
Situational Investigation of Presupposition. COLING (1986)
Seiki Akama
Methodology and Verifiability in Montague Grammar. COLING (1986)