default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSeiki Akama
Person information
- affiliation: C-Republic, Inc., Asao-ku, Kanagawa, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[b4]Seiki Akama, Yotaro Nakayama, Tetsuya Murai:
Epistemic Situation Calculus Based on Granular Computing - A New Approach to Common-Sense Reasoning. Intelligent Systems Reference Library 239, Springer 2023, ISBN 978-3-031-28550-9, pp. 1-157- [c54]Yotaro Nakayama, Seiki Akama, Jair Minoro Abe, Tetsuya Murai:
Annotated Logic with Rough Double Stone Algebraic Interpretation. FUZZ 2023: 1-6 - 2022
- [c53]Yotaro Nakayama, Seiki Akama, Jair Minoro Abe, Tetsuya Murai:
Four-Valued Interpretation for Paraconsistent Annotated Evidential Logic. KES-IDT 2022: 137-147 - 2021
- [j20]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): 235-242 (2021) - 2020
- [b3]Seiki Akama, Yasuo Kudo
, Tetsuya Murai:
Topics in Rough Set Theory - Current Applications to Granular Computing. Intelligent Systems Reference Library 168, Springer 2020, ISBN 978-3-030-29565-3, pp. 1-198 - [j19]Yotaro Nakayama, Seiki Akama, Tetsuya Murai:
Bilattice Logic for Rough Sets. J. Adv. Comput. Intell. Intell. Informatics 24(6): 774-784 (2020) - [c52]Yotaro Nakayama, Seiki Akama, Tetsuya Murai:
Rough Set Logic for Kleene's Three-valued Logic. SCIS/ISIS 2020: 1-5
2010 – 2019
- 2018
- [b2]Seiki Akama, Tetsuya Murai, Yasuo Kudo:
Reasoning with Rough Sets - Logical Approaches to Granularity-Based Framework. Intelligent Systems Reference Library 142, Springer 2018, ISBN 978-3-319-72690-8, pp. 1-186 - [c51]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, Alireza Ahrary:
Handling Paraconsistency and Paracompleteness in Robotics. INISTA 2018: 1-7 - [c50]Yotaro Nakayama, Seiki Akama, Tetsuya Murai:
Four-valued Tableau Calculi for Decision Logic of Rough Set. KES 2018: 383-392 - [c49]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: 1253-1260 - [c48]Yotaro Nakayama, Seiki Akama, Tetsuya Murai:
Four-Valued Semantics for Granular Reasoning Towards Frame Problem. SCIS&ISIS 2018: 37-42 - 2017
- [c47]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: 196-205 - 2016
- [j18]Seiki Akama, Tetsuya Murai, Yasuo Kudo:
Partial and paraconsistent approaches to future contingents in tense logic. Synth. 193(11): 3639-3649 (2016) - [p15]Seiki Akama:
Introduction. Towards Paraconsistent Engineering 2016: 1-5 - [p14]Seiki Akama, Newton C. A. da Costa:
Why Paraconsistent Logics? Towards Paraconsistent Engineering 2016: 7-24 - [p13]Seiki Akama:
A Survey of Annotated Logics. Towards Paraconsistent Engineering 2016: 49-76 - [p12]Kazumi Nakamatsu, Seiki Akama:
Programming with Annotated Logics. Towards Paraconsistent Engineering 2016: 103-164 - [p11]Yasuo Kudo, Tetsuya Murai, Seiki Akama:
A Review on Rough Sets and Possible World Semantics for Modal Logics. Towards Paraconsistent Engineering 2016: 165-177 - [p10]Tetsuya Murai, Yasuo Kudo, Seiki Akama:
Paraconsistency, Chellas's Conditional Logics, and Association Rules. Towards Paraconsistent Engineering 2016: 179-196 - [p9]Seiki Akama:
Jair Minoro Abe on Paraconsistent Engineering. Towards Paraconsistent Engineering 2016: 227-234 - [p8]Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu:
Annotated Logics and Intelligent Control. New Approaches in Intelligent Control 2016: 301-335 - [p7]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control. New Approaches in Intelligent Control 2016: 337-401 - [e1]Seiki Akama:
Towards Paraconsistent Engineering. Intelligent Systems Reference Library 110, Springer 2016, ISBN 978-3-319-40417-2 [contents] - 2015
- [b1]Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu:
Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning. Intelligent Systems Reference Library 88, Springer 2015, ISBN 978-3-319-17911-7, pp. 1-177 - [j17]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): 43-50 (2015) - [c46]Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu:
Evidential Reasoning in Annotated Logics. IIAI-AAI 2015: 28-33 - [c45]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho:
Propositional Algebra P1. KES-IDT 2015: 1-10 - [p6]Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu:
Constructive Discursive Logic: Paraconsistency in Constructivism. Paraconsistent Intelligent-Based Systems 2015: 23-38 - [p5]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
Paraconsistent Annotated Logic Program EVALPSN and Its Applications. Paraconsistent Intelligent-Based Systems 2015: 39-85 - 2014
- [j16]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): 929-936 (2014) - [j15]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): 937-945 (2014) - [c44]Seiki Akama, Tetsuya Murai, Yasuo Kudo:
Da Costa logics and vagueness. GrC 2014: 1-6 - [c43]Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu:
Contingent Information: A Four-Valued Approach. KSE 2014: 209-217 - [c42]Takehiro Tanaka, Tetsuya Murai, Yasuo Kudo, Seiki Akama:
Empty-stringizing of the false value in crisp and fuzzy granular hierarchical structures. SCIS&ISIS 2014: 993-997 - 2013
- [j14]Seiki Akama, Tetsuya Murai, Yasuo Kudo:
Epistemic Logic Founded on Nonignorance. Int. J. Intell. Syst. 28(9): 883-891 (2013) - [c41]Seiki Akama, Tetsuya Murai, Yasuo Kudo:
Bi-superintuitionistic logics for rough sets. GrC 2013: 10-15 - [c40]Seiki Akama, Tetsuya Murai, Yasuo Kudo:
Heyting-Brouwer Rough Set Logic. KSE (2) 2013: 135-145 - [c39]Tetsuya Murai, Sadaaki Miyamoto, Masahiro Inuiguchi, Yasuo Kudo, Seiki Akama:
Fuzzy Multisets in Granular Hierarchical Structures Generated from Free Monoids. MDAI 2013: 248-259 - 2012
- [j13]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): 118-128 (2012) - [c38]Seiki Akama, Tetsuya Murai, Yasuo Kudo:
Non-ignorance and knowledge. GrC 2012: 21-25 - [c37]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama:
Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces. KES 2012: 1342-1349 - 2011
- [j12]Seiki Akama:
Discursive reasoning in a constructive setting. Int. J. Reason. based Intell. Syst. 3(2): 88-93 (2011) - [j11]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): 145-163 (2011) - [c36]Seiki Akama, Tetsuya Murai, Yasuo Kudo:
Paraconsistecy in future contradictions. GrC 2011: 42-47 - [c35]Tetsuya Murai, Yasuo Kudo, Mayuka F. Kawaguchi, Seiki Akama:
A granular-sequence-based approach to multisets and rough sets with applications. GrC 2011: 485-489 - [c34]Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama:
Applications of Paraconsistent Artificial Neural Networks in EEG. ICCCI (1) 2011: 82-92 - [c33]Seiki Akama, Yasunori Nagata:
A Three-Valued Approach to the Master Argument. ISMVL 2011: 44-49 - 2010
- [c32]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: 329-334 - [c31]Seiki Akama, Tetsuya Murai, Yasuo Kudo:
Uncertainty in Future: A Paraconsistent Approach. IUM 2010: 335-342 - [c30]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev:
Introduction to Intelligent Elevator Control Based on EVALPSN. KES (3) 2010: 133-142 - [c29]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama:
Monadic Curry System N1. KES (3) 2010: 143-153 - [c28]Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama:
Paraconsistent Artificial Neural Networks and EEG Analysis. KES (3) 2010: 164-173 - [c27]Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe:
Constructive Discursive Reasoning. KES (3) 2010: 200-206
2000 – 2009
- 2009
- [j10]Yasuo Kudo, Tetsuya Murai, Seiki Akama:
A granularity-based framework of deduction, induction, and abduction. Int. J. Approx. Reason. 50(8): 1215-1226 (2009) - [j9]Seiki Akama:
Negative facts and constructible falsity. Int. J. Reason. based Intell. Syst. 1(1/2): 85-91 (2009) - [c26]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN. KES (2) 2009: 380-387 - [c25]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. RSFDGrC 2009: 135-143 - 2008
- [j8]Seiki Akama, Yasunori Nagata, Chikatoshi Yamada:
Three-Valued Temporal Logic Q t and Future Contingents. Stud Logica 88(2): 215-231 (2008) - [c24]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. KES (2) 2008: 474-482 - [p4]Yasuo Kudo, Tetsuya Murai, Seiki Akama:
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 2008: 280-290 - [p3]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama:
Two Applications of Paraconsistent Logical Controller. New Directions in Intelligent Interactive Multimedia 2008: 249-254 - [p2]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
Paraconsistent Before-After Relation Reasoning Based on EVALPSN. New Directions in Intelligent Interactive Multimedia 2008: 265-274 - [p1]Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe:
Constructive Logic and the Sorites Paradox. New Directions in Intelligent Interactive Multimedia 2008: 285-292 - 2007
- [j7]Seiki Akama, Yasunori Nagata:
Prior's Three-Valued Modal Logic Q and its Possible Applications. J. Adv. Comput. Intell. Intell. Informatics 11(1): 105-110 (2007) - [c23]Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe:
A Natural Deduction System for Annotated Predicate Logic. KES (2) 2007: 861-868 - [c22]Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama:
An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. KES (2) 2007: 869-876 - [c21]Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu:
Monadic Curry Algebras Q tau. KES (2) 2007: 893-900 - 2005
- [c20]Seiki Akama, Yasunori Nagata:
On Prior's Three-Valued Modal Logic Q. ISMVL 2005: 14-19 - [c19]Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe:
An Intelligent Safety Verification Based on a Paraconsistent Logic Program. KES (2) 2005: 708-715 - [c18]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama:
Non-alethic Reasoning in Distributed Systems. KES (2) 2005: 724-731 - [c17]Seiki Akama, Yasunori Nagata:
Constructive Logic and Situation Theory. LAPTEC 2005: 1-8 - [c16]Seiki Akama, Tetsuya Murai:
Rough Set Semantics for Three-Valued Logics. LAPTEC 2005: 242-247 - [c15]Tetsuya Murai, Yasuo Kudo, Seiki Akama, Jair Minoro Abe:
Paraconsistency and Paracompleteness in Chellas's Conditional Logics. LAPTEC 2005: 248-255 - 2000
- [c14]Jair Minoro Abe, Seiki Akama:
Annotated Temporal Logics Delta*tau. IBERAMIA-SBIA 2000: 217-226
1990 – 1999
- 1998
- [c13]Seiki Akama, Jair Minoro Abe:
Many-Valued and Annotated Modal Logics. ISMVL 1998: 114-120 - 1997
- [c12]Seiki Akama:
A Proof Method for the Six-Valued Logic for Incomplete Information. ISMVL 1997: 223-226 - [c11]Seiki Akama:
Tableaux for Logic Programming with Strong Negation. TABLEAUX 1997: 31-42 - 1996
- [j6]Seiki Akama:
Curry's paradox in contractionless constructive logic. J. Philos. Log. 25(2): 135-150 (1996) - 1995
- [c10]Seiki Akama, Yotaro Nakayama:
A Three-Valued Semantics for Discourse Representations. ISMVL 1995: 123-129 - [c9]Seiki Akama:
Three-Valued Constructive Logic and Logic Programs. ISMVL 1995: 276-283 - 1994
- [c8]Seiki Akama, Yotaro Nakayama:
Consequence Relations In DRT. COLING 1994: 1114-1117 - 1992
- [j5]Seiki Akama:
The Gentzen-Kripke construction of the intermediate logic LQ. Notre Dame J. Formal Log. 33(1): 148-153 (1992) - [c7]Seiki Akama, Hiroto Ohnishi:
Overview of Non-monotonic Deduction Systems. IWAR 1992: 47-56 - 1991
- [c6]Seiki Akama:
Amalgamated Logic Programming and Non-Monotonic Reasoning. ISMIS 1991: 450-458 - [c5]Akira Ishikawa, Seiki Akama:
A Semantic Interface for Logic Grammars and its Application to DRT. Natural Language Understanding and Logic Programming Workshop 1991: 281-292 - 1990
- [j4]Seiki Akama:
Subformula semantics for strong negation systems. J. Philos. Log. 19(2): 217-226 (1990)
1980 – 1989
- 1989
- [j3]Akira Ishikawa, Seiki Akama:
Long-Distance Dependencies in a Logic Grammar: SCP. J. Inf. Sci. Eng. 5(4): 367-377 (1989) - 1988
- [j2]Seiki Akama:
On the Proof Method for Constructive Falsity. Math. Log. Q. 34(5): 385-392 (1988) - [j1]Seiki Akama:
Constructive predicate logic with strong negation and model theory. Notre Dame J. Formal Log. 29(1): 18-27 (1988) - [c4]Seiki Akama, Akira Ishikawa:
Semantically Constrained Parsing and Logic Programming. META 1988: 157-168 - 1987
- [c3]Seiki Akama, Masahito Kawamori:
Data Semantics in Logic Programming Framework. Natural Language Understanding and Logic Programming Workshop 1987: 135-151 - 1986
- [c2]Seiki Akama:
Methodology and Verifiability in Montague Grammar. COLING 1986: 88-90 - [c1]Seiki Akama, Masahito Kawamori:
Situational Investigation of Presupposition. COLING 1986: 174-176
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
