Seiki Akama

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