Seiki Akama - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 93 from 93

2023

Epistemic Situation Calculus Based on Granular Computing - A New Approach to Common-Sense ReasoningSeiki Akama, Yotaro Nakayama, Tetsuya Murai. Volume 239 of Intelligent Systems Reference Library, Springer, 2023. [doi]

Annotated Logic with Rough Double Stone Algebraic InterpretationYotaro Nakayama, Seiki Akama, Jair Minoro Abe, Tetsuya Murai. fuzzIEEE 2023: 1-6 [doi]

2022

Four-Valued Interpretation for Paraconsistent Annotated Evidential LogicYotaro Nakayama, Seiki Akama, Jair Minoro Abe, Tetsuya Murai. kesidt 2022: 137-147 [doi]

2021

Many-valued tableau calculi for decision logic based on approximation regions in VPRSYotaro Nakayama, Seiki Akama, Tetsuya Murai. ijris, 13(4):235-242, 2021. [doi]

2020

Topics in Rough Set Theory - Current Applications to Granular ComputingSeiki Akama, Yasuo Kudo, Tetsuya Murai. Volume 168 of Intelligent Systems Reference Library, Springer, 2020. [doi]

Rough Set Logic for Kleene's Three-valued LogicYotaro Nakayama, Seiki Akama, Tetsuya Murai. scisisis 2020: 1-5 [doi]

Bilattice Logic for Rough SetsYotaro Nakayama, Seiki Akama, Tetsuya Murai. jaciii, 24(6):774-784, 2020. [doi]

2018

2017

The Importance of Paraconsistency and Paracompleteness in Intelligent SystemsJair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João I. S. Filho. kesidt 2018: 196-205 [doi]

2016

Partial and paraconsistent approaches to future contingents in tense logicSeiki Akama, Tetsuya Murai, Yasuo Kudo. synthese, 193(11):3639-3649, 2016. [doi]

IntroductionSeiki Akama. In Seiki Akama, editor, Towards Paraconsistent Engineering. Volume 110 of Intelligent Systems Reference Library, pages 1-5, Springer, 2016. [doi]

Annotated Logics and Intelligent ControlSeiki Akama, Jair Minoro Abe, Kazumi Nakamatsu. In Kazumi Nakamatsu, Roumen Kountchev, editors, New Approaches in Intelligent Control - Techniques, Methodologies and Applications. Volume 107 of Intelligent Systems Reference Library, pages 301-335, Springer, 2016. [doi]

Why Paraconsistent Logics?Seiki Akama, Newton C. A. da Costa. In Seiki Akama, editor, Towards Paraconsistent Engineering. Volume 110 of Intelligent Systems Reference Library, pages 7-24, Springer, 2016. [doi]

Jair Minoro Abe on Paraconsistent EngineeringSeiki Akama. In Seiki Akama, editor, Towards Paraconsistent Engineering. Volume 110 of Intelligent Systems Reference Library, pages 227-234, Springer, 2016. [doi]

A Survey of Annotated LogicsSeiki Akama. In Seiki Akama, editor, Towards Paraconsistent Engineering. Volume 110 of Intelligent Systems Reference Library, pages 49-76, Springer, 2016. [doi]

A Review on Rough Sets and Possible World Semantics for Modal LogicsYasuo Kudo, Tetsuya Murai, Seiki Akama. In Seiki Akama, editor, Towards Paraconsistent Engineering. Volume 110 of Intelligent Systems Reference Library, pages 165-177, Springer, 2016. [doi]

Paraconsistency, Chellas's Conditional Logics, and Association RulesTetsuya Murai, Yasuo Kudo, Seiki Akama. In Seiki Akama, editor, Towards Paraconsistent Engineering. Volume 110 of Intelligent Systems Reference Library, pages 179-196, Springer, 2016. [doi]

Programming with Annotated LogicsKazumi Nakamatsu, Seiki Akama. In Seiki Akama, editor, Towards Paraconsistent Engineering. Volume 110 of Intelligent Systems Reference Library, pages 103-164, Springer, 2016. [doi]

Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent ControlKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama. In Kazumi Nakamatsu, Roumen Kountchev, editors, New Approaches in Intelligent Control - Techniques, Methodologies and Applications. Volume 107 of Intelligent Systems Reference Library, pages 337-401, Springer, 2016. [doi]

2015

Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent ReasoningJair Minoro Abe, Seiki Akama, Kazumi Nakamatsu. Volume 88 of Intelligent Systems Reference Library, Springer, 2015. [doi]

1Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João I. S. Filho. kesidt 2015: 1-10 [doi]

Evidential Reasoning in Annotated LogicsSeiki Akama, Jair Minoro Abe, Kazumi Nakamatsu. iiaiaai 2015: 28-33 [doi]

Constructive Discursive Logic: Paraconsistency in ConstructivismSeiki Akama, Jair Minoro Abe, Kazumi Nakamatsu. In Jair Minoro Abe, editor, Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency. Volume 94 of Intelligent Systems Reference Library, pages 23-38, Springer, 2015. [doi]

Fuzzy Multisets in Granular Hierarchical Structures Generated from Free MonoidsTetsuya Murai, Sadaaki Miyamoto, Masahiro Inuiguchi, Yasuo Kudo, Seiki Akama. jaciii, 19(1):43-50, 2015. [doi]

Paraconsistent Annotated Logic Program EVALPSN and Its ApplicationsKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama. In Jair Minoro Abe, editor, Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency. Volume 94 of Intelligent Systems Reference Library, pages 39-85, Springer, 2015. [doi]

2014

2013

2012

Aspects of Curry Algebras, Computability, Constructibility, and Topological SpacesJair Minoro Abe, Kazumi Nakamatsu, Seiki Akama. kes 2012: 1342-1349 [doi]

Non-ignorance and knowledgeSeiki Akama, Tetsuya Murai, Yasuo Kudo. grc 2012: 21-25 [doi]

Granular hierarchical structures of finite naïve subsets and multisets based on free monoids and homomorphismsTetsuya Murai, Sadaaki Miyamoto, Masahiro Inuiguchi, Seiki Akama. ijris, 4(3):118-128, 2012. [doi]

2011

2010

2009

2008

Two Applications of Paraconsistent Logical ControllerJair Minoro Abe, Kazumi Nakamatsu, Seiki Akama. In George A. Tsihrintzis, Maria Virvou, Robert J. Howlett, Lakhmi C. Jain, editors, New Directions in Intelligent Interactive Multimedia. Volume 142 of Studies in Computational Intelligence, pages 249-254, Springer, 2008. [doi]

Three-Valued Temporal Logic ::::Q:::: :: ::::t:::: :: and Future ContingentsSeiki Akama, Yasunori Nagata, Chikatoshi Yamada. sLogica, 88(2):215-231, 2008. [doi]

Constructive Logic and the Sorites ParadoxSeiki Akama, Kazumi Nakamatsu, Jair Minoro Abe. In George A. Tsihrintzis, Maria Virvou, Robert J. Howlett, Lakhmi C. Jain, editors, New Directions in Intelligent Interactive Multimedia. Volume 142 of Studies in Computational Intelligence, pages 285-292, Springer, 2008. [doi]

A Unified Formulation of Deduction, Induction and Abduction Using Granularity Based on VPRS Models and Measure-Based Semantics for Modal LogicsYasuo Kudo, Tetsuya Murai, Seiki Akama. In Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vladik Kreinovich, Hung T. Nguyen, editors, Interval / Probabilistic Uncertainty and Non-Classical Logics. Volume 46 of Advances in Soft Computing, pages 280-290, Springer, 2008. [doi]

Transitive Reasoning of Before-After Relation Based on Bf-EVALPSNKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama. kes 2008: 474-482 [doi]

Paraconsistent Before-After Relation Reasoning Based on EVALPSNKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama. In George A. Tsihrintzis, Maria Virvou, Robert J. Howlett, Lakhmi C. Jain, editors, New Directions in Intelligent Interactive Multimedia. Volume 142 of Studies in Computational Intelligence, pages 265-274, Springer, 2008. [doi]

2007

2005

2000

Annotated Temporal Logics Delta*tauJair Minoro Abe, Seiki Akama. sbia 2000: 217-226 [doi]

1998

Many-Valued and Annotated Modal LogicsSeiki Akama, Jair Minoro Abe. ismvl 1998: 114 [doi]

1997

A Proof Method for the Six-Valued Logic for Incomplete InformationSeiki Akama. ismvl 1997: 223-226 [doi]

Tableaux for Logic Programming with Strong NegationSeiki Akama. tableaux 1997: 31-42

1996

Curry's paradox in contractionless constructive logicSeiki Akama. jphil, 25(2):135-150, 1996. [doi]

1995

Three-Valued Constructive Logic and Logic ProgramsSeiki Akama. ismvl 1995: 276 [doi]

A Three-Valued Semantics for Discourse RepresentationsSeiki Akama, Y. Nakayama. ismvl 1995: 123 [doi]

1994

Consequence Relations In DRTSeiki Akama, Yotaro Nakayama. COLING 1994: 1114-1117 [doi]

1992

Overview of Non-monotonic Deduction SystemsSeiki Akama, Hiroto Ohnishi. iwar 1992: 47-56

The Gentzen-Kripke construction of the intermediate logic LQSeiki Akama. ndjfl, 33(1):148-153, 1992.

1991

Amalgamated Logic Programming and Non-Monotonic ReasoningSeiki Akama. ismis 1991: 450-458

A Semantic Interface for Logic Grammars and its Application to DRTAkira Ishikawa, Seiki Akama. nlulp 1991: 281-292

1990

Subformula semantics for strong negation systemsSeiki Akama. jphil, 19(2):217-226, 1990. [doi]

1989

Long-Distance Dependencies in a Logic Grammar: SCPAkira Ishikawa, Seiki Akama. jise, 5(4):367-377, 1989. [doi]

1988

Semantically Constrained Parsing and Logic ProgrammingSeiki Akama, Akira Ishikawa. meta 1988: 157-168

On the Proof Method for Constructive FalsitySeiki Akama. mlq, 34(5):385-392, 1988. [doi]

Constructive predicate logic with strong negation and model theorySeiki Akama. ndjfl, 29(1):18-27, 1988. [doi]

1987

Data Semantics in Logic Programming FrameworkSeiki Akama, Masahito Kawamori. nlulp 1987: 135-151

1986

Situational Investigation of PresuppositionSeiki Akama, Masahito Kawamori. COLING 1986: 174-176

Methodology and Verifiability in Montague GrammarSeiki Akama. COLING 1986: 88-90

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Seiki Akama'

Viewing Publication 1 - 93 from 93

2023

2022

2021

2020

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2005

2000

1998

1997

1996

1995

1994

1992

1991

1990

1989

1988

1987

1986

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Seiki Akama'

Viewing Publication 1 - 93 from 93

2023

2022

2021

2020

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2005

2000

1998

1997

1996

1995

1994

1992

1991

1990

1989

1988

1987

1986

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1