Methodology and Verifiability in Montague Grammar. - Seiki Akama (COLING, 1986)

Situational Investigation of Presupposition. - Seiki Akama; Masahito Kawamori (COLING, 1986)

Data Semantics in Logic Programming Framework. - Seiki Akama; Masahito Kawamori (Natural Language Understanding and Logic Programming Workshop, 1987)

Semantically Constrained Parsing and Logic Programming. - Seiki Akama; Akira Ishikawa (META, 1988)

On the Proof Method for Constructive Falsity. - Seiki Akama (Math. Log. Q., 1988)

Constructive predicate logic with strong negation and model theory. - Seiki Akama (Notre Dame J. Formal Log., 1988)

Long-Distance Dependencies in a Logic Grammar: SCP. - Akira Ishikawa; Seiki Akama (J. Inf. Sci. Eng., 1989)

Subformula semantics for strong negation systems. - Seiki Akama (J. Philos. Log., 1990)

Amalgamated Logic Programming and Non-Monotonic Reasoning. - Seiki Akama (ISMIS, 1991)

A Semantic Interface for Logic Grammars and its Application to DRT. - Akira Ishikawa; Seiki Akama (Natural Language Understanding and Logic Programming Workshop, 1991)

Overview of Non-monotonic Deduction Systems. - Seiki Akama; Hiroto Ohnishi (IWAR, 1992)

The Gentzen-Kripke construction of the intermediate logic LQ. - Seiki Akama (Notre Dame J. Formal Log., 1992)

Consequence Relations In DRT. - Seiki Akama; Yotaro Nakayama (COLING, 1994)

Three-Valued Constructive Logic and Logic Programs. - Seiki Akama (ISMVL, 1995)

A Three-Valued Semantics for Discourse Representations. - Seiki Akama; Yotaro Nakayama (ISMVL, 1995)

Curry's paradox in contractionless constructive logic. - Seiki Akama (J. Philos. Log., 1996)

A Proof Method for the Six-Valued Logic for Incomplete Information. - Seiki Akama (ISMVL, 1997)

Tableaux for Logic Programming with Strong Negation. - Seiki Akama (TABLEAUX, 1997)

Many-Valued and Annotated Modal Logics. - Seiki Akama; Jair Minoro Abe (ISMVL, 1998)

Annotated Temporal Logics Delta*tau. - Jair Minoro Abe; Seiki Akama (IBERAMIA-SBIA, 2000)

On Prior's Three-Valued Modal Logic Q. - Seiki Akama; Yasunori Nagata (ISMVL, 2005)

Non-alethic Reasoning in Distributed Systems. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama (KES (2), 2005)

An Intelligent Safety Verification Based on a Paraconsistent Logic Program. - Kazumi Nakamatsu; Seiki Akama; Jair Minoro Abe (KES (2), 2005)

Rough Set Semantics for Three-Valued Logics. - Seiki Akama; Tetsuya Murai (LAPTEC, 2005)

Constructive Logic and Situation Theory. - Seiki Akama; Yasunori Nagata (LAPTEC, 2005)

Paraconsistency and Paracompleteness in Chellas's Conditional Logics. - Tetsuya Murai; Yasuo Kudo; Seiki Akama; Jair Minoro Abe (LAPTEC, 2005)

Monadic Curry Algebras Q tau. - Jair Minoro Abe; Seiki Akama; Kazumi Nakamatsu (KES (2), 2007)

A Natural Deduction System for Annotated Predicate Logic. - Seiki Akama; Kazumi Nakamatsu; Jair Minoro Abe (KES (2), 2007)

An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. - Kazumi Nakamatsu; Jair Minoro Abe; Seiki Akama (KES (2), 2007)

Prior's Three-Valued Modal Logic Q and its Possible Applications. - Seiki Akama; Yasunori Nagata (J. Adv. Comput. Intell. Intell. Informatics, 2007)

Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. - Kazumi Nakamatsu; Jair Minoro Abe; Seiki Akama (KES (2), 2008)

Three-Valued Temporal Logic Q t and Future Contingents. - Seiki Akama; Yasunori Nagata; Chikatoshi Yamada (Stud Logica, 2008)

A Unified Formulation of Deduction, Induction and Abduction Using Granularity Based on VPRS Models and Measure-Based Semantics for Modal Logics. - Yasuo Kudo; Tetsuya Murai; Seiki Akama (Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008)

Two Applications of Paraconsistent Logical Controller. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama (New Directions in Intelligent Interactive Multimedia, 2008)

Constructive Logic and the Sorites Paradox. - Seiki Akama; Kazumi Nakamatsu; Jair Minoro Abe (New Directions in Intelligent Interactive Multimedia, 2008)

Paraconsistent Before-After Relation Reasoning Based on EVALPSN. - Kazumi Nakamatsu; Jair Minoro Abe; Seiki Akama (New Directions in Intelligent Interactive Multimedia, 2008)

A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN. - Kazumi Nakamatsu; Jair Minoro Abe; Seiki Akama (KES (2), 2009)

A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. - Kazumi Nakamatsu; Jair Minoro Abe; Seiki Akama (RSFDGrC, 2009)

A granularity-based framework of deduction, induction, and abduction. - Yasuo Kudo; Tetsuya Murai; Seiki Akama (Int. J. Approx. Reason., 2009)

Negative facts and constructible falsity. - Seiki Akama (Int. J. Reason. based Intell. Syst., 2009)

Uncertainty in Future: A Paraconsistent Approach. - Seiki Akama; Tetsuya Murai; Yasuo Kudo (IUM, 2010)

Granularity and Approximation in Sequences, Multisets, and Sets in the Framework of Kripke Semantics. - Tetsuya Murai; Seiki Ubukata; Yasuo Kudo; Seiki Akama; Sadaaki Miyamoto (IUM, 2010)

Paraconsistent Artificial Neural Networks and EEG Analysis. - Jair Minoro Abe; Helder F. S. Lopes; Kazumi Nakamatsu; Seiki Akama (KES (3), 2010)

Monadic Curry System N1. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama (KES (3), 2010)

Constructive Discursive Reasoning. - Seiki Akama; Kazumi Nakamatsu; Jair Minoro Abe (KES (3), 2010)

Introduction to Intelligent Elevator Control Based on EVALPSN. - Kazumi Nakamatsu; Jair Minoro Abe; Seiki Akama; Roumen Kountchev (KES (3), 2010)

Paraconsistecy in future contradictions. - Seiki Akama; Tetsuya Murai; Yasuo Kudo (GrC, 2011)

A granular-sequence-based approach to multisets and rough sets with applications. - Tetsuya Murai; Yasuo Kudo; Mayuka F. Kawaguchi; Seiki Akama (GrC, 2011)

Applications of Paraconsistent Artificial Neural Networks in EEG. - Jair Minoro Abe; Helder F. S. Lopes; Kazumi Nakamatsu; Seiki Akama (ICCCI (1), 2011)

A Three-Valued Approach to the Master Argument. - Seiki Akama; Yasunori Nagata (ISMVL, 2011)

Discursive reasoning in a constructive setting. - Seiki Akama (Int. J. Reason. based Intell. Syst., 2011)

A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN. - Kazumi Nakamatsu; Jair Minoro Abe; Seiki Akama (Int. J. Knowl. Based Intell. Eng. Syst., 2011)

Non-ignorance and knowledge. - Seiki Akama; Tetsuya Murai; Yasuo Kudo (GrC, 2012)

Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama (KES, 2012)

Granular hierarchical structures of finite naïve subsets and multisets based on free monoids and homomorphisms. - Tetsuya Murai; Sadaaki Miyamoto; Masahiro Inuiguchi; Seiki Akama (Int. J. Reason. based Intell. Syst., 2012)

Bi-superintuitionistic logics for rough sets. - Seiki Akama; Tetsuya Murai; Yasuo Kudo (GrC, 2013)

Heyting-Brouwer Rough Set Logic. - Seiki Akama; Tetsuya Murai; Yasuo Kudo (KSE (2), 2013)

Epistemic Logic Founded on Nonignorance. - Seiki Akama; Tetsuya Murai; Yasuo Kudo (Int. J. Intell. Syst., 2013)

Da Costa logics and vagueness. - Seiki Akama; Tetsuya Murai; Yasuo Kudo (GrC, 2014)

Contingent Information: A Four-Valued Approach. - Seiki Akama; Jair Minoro Abe; Kazumi Nakamatsu (KSE, 2014)

Empty-stringizing of the false value in crisp and fuzzy granular hierarchical structures. - Takehiro Tanaka; Tetsuya Murai; Yasuo Kudo; Seiki Akama (SCIS&ISIS, 2014)

Crisp and Fuzzy Granular Hierarchical Structures Generated from a Free Monoid. - Tetsuya Murai; Sadaaki Miyamoto; Masahiro Inuiguchi; Yasuo Kudo; Seiki Akama (J. Adv. Comput. Intell. Intell. Informatics, 2014)

Variable Neighborhood Model for Agent Control Introducing Accessibility Relations Between Agents with Linear Temporal Logic. - Seiki Ubukata; Tetsuya Murai; Yasuo Kudo; Seiki Akama (J. Adv. Comput. Intell. Intell. Informatics, 2014)

Evidential Reasoning in Annotated Logics. - Seiki Akama; Jair Minoro Abe; Kazumi Nakamatsu (IIAI-AAI, 2015)

Propositional Algebra P1. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama; João Inácio da Silva Filho (KES-IDT, 2015)

Fuzzy Multisets in Granular Hierarchical Structures Generated from Free Monoids. - Tetsuya Murai; Sadaaki Miyamoto; Masahiro Inuiguchi; Yasuo Kudo; Seiki Akama (J. Adv. Comput. Intell. Intell. Informatics, 2015)

Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning - Jair Minoro Abe; Seiki Akama; Kazumi Nakamatsu (Springer, 2015)

Constructive Discursive Logic: Paraconsistency in Constructivism. - Seiki Akama; Jair Minoro Abe; Kazumi Nakamatsu (Paraconsistent Intelligent-Based Systems, 2015)

Paraconsistent Annotated Logic Program EVALPSN and Its Applications. - Kazumi Nakamatsu; Jair Minoro Abe; Seiki Akama (Paraconsistent Intelligent-Based Systems, 2015)

Partial and paraconsistent approaches to future contingents in tense logic. - Seiki Akama; Tetsuya Murai; Yasuo Kudo (Synth., 2016)

Introduction. - Seiki Akama (Towards Paraconsistent Engineering, 2016)

A Survey of Annotated Logics. - Seiki Akama (Towards Paraconsistent Engineering, 2016)

Jair Minoro Abe on Paraconsistent Engineering. - Seiki Akama (Towards Paraconsistent Engineering, 2016)

Annotated Logics and Intelligent Control. - Seiki Akama; Jair Minoro Abe; Kazumi Nakamatsu (New Approaches in Intelligent Control, 2016)

Why Paraconsistent Logics? - Seiki Akama; Newton C. A. da Costa (Towards Paraconsistent Engineering, 2016)

A Review on Rough Sets and Possible World Semantics for Modal Logics. - Yasuo Kudo; Tetsuya Murai; Seiki Akama (Towards Paraconsistent Engineering, 2016)

Paraconsistency, Chellas's Conditional Logics, and Association Rules. - Tetsuya Murai; Yasuo Kudo; Seiki Akama (Towards Paraconsistent Engineering, 2016)

Programming with Annotated Logics. - Kazumi Nakamatsu; Seiki Akama (Towards Paraconsistent Engineering, 2016)

Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control. - Kazumi Nakamatsu; Jair Minoro Abe; Seiki Akama (New Approaches in Intelligent Control, 2016)

The Importance of Paraconsistency and Paracompleteness in Intelligent Systems. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama; João Inácio da Silva Filho (KES-IDT (2), 2017)

Handling Paraconsistency and Paracompleteness in Robotics. - Jair Minoro Abe; Kazumi Nakamatsu; Seiki Akama; Alireza Ahrary (INISTA, 2018)

Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics. - Jair Minoro Abe; Seiki Akama; Kazumi Nakamatsu; João Inácio da Silva Filho (KES, 2018)

Four-valued Tableau Calculi for Decision Logic of Rough Set. - Yotaro Nakayama; Seiki Akama; Tetsuya Murai (KES, 2018)

Four-Valued Semantics for Granular Reasoning Towards Frame Problem. - Yotaro Nakayama; Seiki Akama; Tetsuya Murai (SCIS&ISIS, 2018)

Reasoning with Rough Sets - Logical Approaches to Granularity-Based Framework - Seiki Akama; Tetsuya Murai; Yasuo Kudo (Springer, 2018)

Rough Set Logic for Kleene's Three-valued Logic. - Yotaro Nakayama; Seiki Akama; Tetsuya Murai (SCIS/ISIS, 2020)

Bilattice Logic for Rough Sets. - Yotaro Nakayama; Seiki Akama; Tetsuya Murai (J. Adv. Comput. Intell. Intell. Informatics, 2020)

Topics in Rough Set Theory - Current Applications to Granular Computing - Seiki Akama; Yasuo Kudo; Tetsuya Murai (Springer, 2020)

Many-valued tableau calculi for decision logic based on approximation regions in VPRS. - Yotaro Nakayama; Seiki Akama; Tetsuya Murai (Int. J. Reason. based Intell. Syst., 2021)

Four-Valued Interpretation for Paraconsistent Annotated Evidential Logic. - Yotaro Nakayama; Seiki Akama; Jair Minoro Abe; Tetsuya Murai (KES-IDT, 2022)

Annotated Logic with Rough Double Stone Algebraic Interpretation. - Yotaro Nakayama; Seiki Akama; Jair Minoro Abe; Tetsuya Murai (FUZZ, 2023)

Epistemic Situation Calculus Based on Granular Computing - A New Approach to Common-Sense Reasoning - Seiki Akama; Yotaro Nakayama; Tetsuya Murai (Springer, 2023)