% csauthors.net - beta - BibTeX bibliography of Seiki Akama
@inproceedings{conf/coling/Akama86,
title = {Methodology and Verifiability in Montague Grammar.},
year = {1986},
booktitle = {COLING},
author = {{Seiki Akama}},
publisher = {Institut für angewandte Kommunikations- und Sprachforschung e.V. (IKS), Poppelsdorfer Allee 47, Bonn, Germany},
booktitle = {Proceedings of the 11th International Conference on Computational Linguistics, COLING '86, Bonn, Germany, August 25-29, 1986}
}
@inproceedings{conf/coling/AkamaK86,
title = {Situational Investigation of Presupposition.},
year = {1986},
booktitle = {COLING},
author = {{Seiki Akama} and {Masahito Kawamori}},
publisher = {Institut für angewandte Kommunikations- und Sprachforschung e.V. (IKS), Poppelsdorfer Allee 47, Bonn, Germany},
booktitle = {Proceedings of the 11th International Conference on Computational Linguistics, COLING '86, Bonn, Germany, August 25-29, 1986}
}
@inproceedings{conf/nlulp/AkamaK87,
title = {Data Semantics in Logic Programming Framework.},
year = {1987},
booktitle = {Natural Language Understanding and Logic Programming Workshop},
author = {{Seiki Akama} and {Masahito Kawamori}},
publisher = {North-Holland},
booktitle = {Natural Language Understanding and Logic Programming, II, Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987.}
}
@inproceedings{conf/meta/AkamaI88,
title = {Semantically Constrained Parsing and Logic Programming.},
year = {1988},
booktitle = {META},
author = {{Seiki Akama} and {Akira Ishikawa}},
publisher = {MIT Press},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988.}
}
@article{journals/mlq/Akama88,
title = {On the Proof Method for Constructive Falsity.},
year = {1988},
journal = {Math. Log. Q.},
author = {{Seiki Akama}}
}
@article{journals/ndjfl/Akama88,
title = {Constructive predicate logic with strong negation and model theory.},
year = {1988},
journal = {Notre Dame J. Formal Log.},
author = {{Seiki Akama}}
}
@article{journals/jise/IshikawaA89,
title = {Long-Distance Dependencies in a Logic Grammar: SCP.},
year = {1989},
journal = {J. Inf. Sci. Eng.},
author = {{Akira Ishikawa} and {Seiki Akama}}
}
@article{journals/jphil/Akama90,
title = {Subformula semantics for strong negation systems.},
year = {1990},
journal = {J. Philos. Log.},
author = {{Seiki Akama}}
}
@inproceedings{conf/ismis/Akama91,
title = {Amalgamated Logic Programming and Non-Monotonic Reasoning.},
year = {1991},
booktitle = {ISMIS},
author = {{Seiki Akama}},
publisher = {Springer},
booktitle = {Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings}
}
@inproceedings{conf/nlulp/IshikawaA91,
title = {A Semantic Interface for Logic Grammars and its Application to DRT.},
year = {1991},
booktitle = {Natural Language Understanding and Logic Programming Workshop},
author = {{Akira Ishikawa} and {Seiki Akama}},
publisher = {North-Holland},
booktitle = {Natural Language Understanding and Logic Programming, III, Proceedings of the Third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 January, 1991.}
}
@inproceedings{conf/iwar/AkamaO92,
title = {Overview of Non-monotonic Deduction Systems.},
year = {1992},
booktitle = {IWAR},
author = {{Seiki Akama} and {Hiroto Ohnishi}},
publisher = {North-Holland},
booktitle = {Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992}
}
@article{journals/ndjfl/Akama92,
title = {The Gentzen-Kripke construction of the intermediate logic LQ.},
year = {1992},
journal = {Notre Dame J. Formal Log.},
author = {{Seiki Akama}}
}
@inproceedings{conf/coling/AkamaN94,
title = {Consequence Relations In DRT.},
year = {1994},
booktitle = {COLING},
author = {{Seiki Akama} and {Yotaro Nakayama}},
booktitle = {15th International Conference on Computational Linguistics, COLING 1994, Kyoto, Japan, August 5-9, 1994}
}
@inproceedings{conf/ismvl/Akama95,
title = {Three-Valued Constructive Logic and Logic Programs.},
year = {1995},
booktitle = {ISMVL},
author = {{Seiki Akama}},
publisher = {IEEE Computer Society},
booktitle = {25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings}
}
@inproceedings{conf/ismvl/AkamaN95,
title = {A Three-Valued Semantics for Discourse Representations.},
year = {1995},
booktitle = {ISMVL},
author = {{Seiki Akama} and {Yotaro Nakayama}},
publisher = {IEEE Computer Society},
booktitle = {25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings}
}
@article{journals/jphil/Akama96,
title = {Curry's paradox in contractionless constructive logic.},
year = {1996},
journal = {J. Philos. Log.},
author = {{Seiki Akama}}
}
@inproceedings{conf/ismvl/Akama97,
title = {A Proof Method for the Six-Valued Logic for Incomplete Information.},
year = {1997},
booktitle = {ISMVL},
author = {{Seiki Akama}},
publisher = {IEEE Computer Society},
booktitle = {27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings}
}
@inproceedings{conf/tableaux/Akama97,
title = {Tableaux for Logic Programming with Strong Negation.},
year = {1997},
booktitle = {TABLEAUX},
author = {{Seiki Akama}},
publisher = {Springer},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings}
}
@inproceedings{conf/ismvl/AkamaA98,
title = {Many-Valued and Annotated Modal Logics.},
year = {1998},
booktitle = {ISMVL},
author = {{Seiki Akama} and {Jair Minoro Abe}},
publisher = {IEEE Computer Society},
booktitle = {28th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1998, Fukuoka, Japan, May 27-29, 1998, Proceedings}
}
@inproceedings{conf/sbia/AbeA00,
title = {Annotated Temporal Logics Delta*tau.},
year = {2000},
booktitle = {IBERAMIA-SBIA},
author = {{Jair Minoro Abe} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings}
}
@inproceedings{conf/ismvl/AkamaN05,
title = {On Prior's Three-Valued Modal Logic Q.},
year = {2005},
booktitle = {ISMVL},
author = {{Seiki Akama} and {Yasunori Nagata}},
publisher = {IEEE Computer Society},
booktitle = {35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 18-21 May 2005, Calgary, Canada}
}
@inproceedings{conf/kes/AbeNA05,
title = {Non-alethic Reasoning in Distributed Systems.},
year = {2005},
booktitle = {KES (2)},
author = {{Jair Minoro Abe} and {Kazumi Nakamatsu} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II}
}
@inproceedings{conf/kes/NakamatsuAA05,
title = {An Intelligent Safety Verification Based on a Paraconsistent Logic Program.},
year = {2005},
booktitle = {KES (2)},
author = {{Kazumi Nakamatsu} and {Seiki Akama} and {Jair Minoro Abe}},
publisher = {Springer},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II}
}
@inproceedings{conf/laptec/AkamaM05,
title = {Rough Set Semantics for Three-Valued Logics.},
year = {2005},
booktitle = {LAPTEC},
author = {{Seiki Akama} and {Tetsuya Murai}},
publisher = {IOS Press},
booktitle = {Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005}
}
@inproceedings{conf/laptec/AkamaN05,
title = {Constructive Logic and Situation Theory.},
year = {2005},
booktitle = {LAPTEC},
author = {{Seiki Akama} and {Yasunori Nagata}},
publisher = {IOS Press},
booktitle = {Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005}
}
@inproceedings{conf/laptec/MuraiKAA05,
title = {Paraconsistency and Paracompleteness in Chellas's Conditional Logics.},
year = {2005},
booktitle = {LAPTEC},
author = {{Tetsuya Murai} and {Yasuo Kudo} and {Seiki Akama} and {Jair Minoro Abe}},
publisher = {IOS Press},
booktitle = {Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005}
}
@inproceedings{conf/kes/AbeAN07,
title = {Monadic Curry Algebras Q tau.},
year = {2007},
booktitle = {KES (2)},
author = {{Jair Minoro Abe} and {Seiki Akama} and {Kazumi Nakamatsu}},
publisher = {Springer},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II}
}
@inproceedings{conf/kes/AkamaNA07,
title = {A Natural Deduction System for Annotated Predicate Logic.},
year = {2007},
booktitle = {KES (2)},
author = {{Seiki Akama} and {Kazumi Nakamatsu} and {Jair Minoro Abe}},
publisher = {Springer},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II}
}
@inproceedings{conf/kes/NakamatsuAA07,
title = {An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.},
year = {2007},
booktitle = {KES (2)},
author = {{Kazumi Nakamatsu} and {Jair Minoro Abe} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II}
}
@article{journals/jaciii/AkamaN07,
title = {Prior's Three-Valued Modal Logic Q and its Possible Applications.},
year = {2007},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
author = {{Seiki Akama} and {Yasunori Nagata}}
}
@inproceedings{conf/kes/NakamatsuAA08,
title = {Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.},
year = {2008},
booktitle = {KES (2)},
author = {{Kazumi Nakamatsu} and {Jair Minoro Abe} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II}
}
@article{journals/sLogica/AkamaNY08,
title = {Three-Valued Temporal Logic Q t and Future Contingents.},
year = {2008},
journal = {Stud Logica},
author = {{Seiki Akama} and {Yasunori Nagata} and {Chikatoshi Yamada}}
}
@incollection{series/asc/KudoMA08,
title = {A Unified Formulation of Deduction, Induction and Abduction Using Granularity Based on VPRS Models and Measure-Based Semantics for Modal Logics.},
year = {2008},
booktitle = {Interval / Probabilistic Uncertainty and Non-Classical Logics},
author = {{Yasuo Kudo} and {Tetsuya Murai} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Interval / Probabilistic Uncertainty and Non-Classical Logics}
}
@incollection{series/sci/AbeNA08,
title = {Two Applications of Paraconsistent Logical Controller.},
year = {2008},
booktitle = {New Directions in Intelligent Interactive Multimedia},
author = {{Jair Minoro Abe} and {Kazumi Nakamatsu} and {Seiki Akama}},
publisher = {Springer},
booktitle = {New Directions in Intelligent Interactive Multimedia}
}
@incollection{series/sci/AkamaNA08,
title = {Constructive Logic and the Sorites Paradox.},
year = {2008},
booktitle = {New Directions in Intelligent Interactive Multimedia},
author = {{Seiki Akama} and {Kazumi Nakamatsu} and {Jair Minoro Abe}},
publisher = {Springer},
booktitle = {New Directions in Intelligent Interactive Multimedia}
}
@incollection{series/sci/NakamatsuAA08,
title = {Paraconsistent Before-After Relation Reasoning Based on EVALPSN.},
year = {2008},
booktitle = {New Directions in Intelligent Interactive Multimedia},
author = {{Kazumi Nakamatsu} and {Jair Minoro Abe} and {Seiki Akama}},
publisher = {Springer},
booktitle = {New Directions in Intelligent Interactive Multimedia}
}
@inproceedings{conf/kes/NakamatsuAA09,
title = {A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN.},
year = {2009},
booktitle = {KES (2)},
author = {{Kazumi Nakamatsu} and {Jair Minoro Abe} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Knowledge-Based and Intelligent Information and Engineering Systems, 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part II}
}
@inproceedings{conf/rsfdgrc/NakamatsuAA09,
title = {A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN.},
year = {2009},
booktitle = {RSFDGrC},
author = {{Kazumi Nakamatsu} and {Jair Minoro Abe} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, 12th International Conference, RSFDGrC 2009, Delhi, India, December 15-18, 2009. Proceedings}
}
@article{journals/ijar/KudoMA09,
title = {A granularity-based framework of deduction, induction, and abduction.},
year = {2009},
journal = {Int. J. Approx. Reason.},
author = {{Yasuo Kudo} and {Tetsuya Murai} and {Seiki Akama}}
}
@article{journals/ijris/Akama09,
title = {Negative facts and constructible falsity.},
year = {2009},
journal = {Int. J. Reason. based Intell. Syst.},
author = {{Seiki Akama}}
}
@inproceedings{conf/ium/AkamaMK10,
title = {Uncertainty in Future: A Paraconsistent Approach.},
year = {2010},
booktitle = {IUM},
author = {{Seiki Akama} and {Tetsuya Murai} and {Yasuo Kudo}},
publisher = {Springer},
booktitle = {Integrated Uncertainty Management and Applications [revised papers from the International Symposium on Integrated Uncertainty Management and Applications, IUM 2010, Ishikawa, Japan, April 9-11, 2010]}
}
@inproceedings{conf/ium/MuraiUKAM10,
title = {Granularity and Approximation in Sequences, Multisets, and Sets in the Framework of Kripke Semantics.},
year = {2010},
booktitle = {IUM},
author = {{Tetsuya Murai} and {Seiki Ubukata} and {Yasuo Kudo} and {Seiki Akama} and {Sadaaki Miyamoto}},
publisher = {Springer},
booktitle = {Integrated Uncertainty Management and Applications [revised papers from the International Symposium on Integrated Uncertainty Management and Applications, IUM 2010, Ishikawa, Japan, April 9-11, 2010]}
}
@inproceedings{conf/kes/AbeLNA10,
title = {Paraconsistent Artificial Neural Networks and EEG Analysis.},
year = {2010},
booktitle = {KES (3)},
author = {{Jair Minoro Abe} and {Helder F. S. Lopes} and {Kazumi Nakamatsu} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III}
}
@inproceedings{conf/kes/AbeNA10,
title = {Monadic Curry System N1.},
year = {2010},
booktitle = {KES (3)},
author = {{Jair Minoro Abe} and {Kazumi Nakamatsu} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III}
}
@inproceedings{conf/kes/AkamaNA10,
title = {Constructive Discursive Reasoning.},
year = {2010},
booktitle = {KES (3)},
author = {{Seiki Akama} and {Kazumi Nakamatsu} and {Jair Minoro Abe}},
publisher = {Springer},
booktitle = {Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III}
}
@inproceedings{conf/kes/NakamatsuAAK10,
title = {Introduction to Intelligent Elevator Control Based on EVALPSN.},
year = {2010},
booktitle = {KES (3)},
author = {{Kazumi Nakamatsu} and {Jair Minoro Abe} and {Seiki Akama} and {Roumen Kountchev}},
publisher = {Springer},
booktitle = {Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III}
}
@inproceedings{conf/grc/AkamaMK11,
title = {Paraconsistecy in future contradictions.},
year = {2011},
booktitle = {GrC},
author = {{Seiki Akama} and {Tetsuya Murai} and {Yasuo Kudo}},
publisher = {IEEE Computer Society},
booktitle = {2011 IEEE International Conference on Granular Computing, GrC-2011, Kaohsiung, Taiwan, November 8-10, 2011}
}
@inproceedings{conf/grc/MuraiKKA11,
title = {A granular-sequence-based approach to multisets and rough sets with applications.},
year = {2011},
booktitle = {GrC},
author = {{Tetsuya Murai} and {Yasuo Kudo} and {Mayuka F. Kawaguchi} and {Seiki Akama}},
publisher = {IEEE Computer Society},
booktitle = {2011 IEEE International Conference on Granular Computing, GrC-2011, Kaohsiung, Taiwan, November 8-10, 2011}
}
@inproceedings{conf/iccci/AbeLNA11,
title = {Applications of Paraconsistent Artificial Neural Networks in EEG.},
year = {2011},
booktitle = {ICCCI (1)},
author = {{Jair Minoro Abe} and {Helder F. S. Lopes} and {Kazumi Nakamatsu} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Computational Collective Intelligence. Technologies and Applications - Third International Conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011, Proceedings, Part I}
}
@inproceedings{conf/ismvl/AkamaN11,
title = {A Three-Valued Approach to the Master Argument.},
year = {2011},
booktitle = {ISMVL},
author = {{Seiki Akama} and {Yasunori Nagata}},
publisher = {IEEE Computer Society},
booktitle = {41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011, Tuusula, Finland, May 23-25, 2011}
}
@article{journals/ijris/Akama11,
title = {Discursive reasoning in a constructive setting.},
year = {2011},
journal = {Int. J. Reason. based Intell. Syst.},
author = {{Seiki Akama}}
}
@article{journals/kes/NakamatsuAA11,
title = {A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN.},
year = {2011},
journal = {Int. J. Knowl. Based Intell. Eng. Syst.},
author = {{Kazumi Nakamatsu} and {Jair Minoro Abe} and {Seiki Akama}}
}
@inproceedings{conf/grc/AkamaMK12,
title = {Non-ignorance and knowledge.},
year = {2012},
booktitle = {GrC},
author = {{Seiki Akama} and {Tetsuya Murai} and {Yasuo Kudo}},
publisher = {IEEE Computer Society},
booktitle = {2012 IEEE International Conference on Granular Computing, GrC 2012, Hangzhou, China, August 11-13, 2012}
}
@inproceedings{conf/kes/AbeNA12,
title = {Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces.},
year = {2012},
booktitle = {KES},
author = {{Jair Minoro Abe} and {Kazumi Nakamatsu} and {Seiki Akama}},
publisher = {IOS Press},
booktitle = {Advances in Knowledge-Based and Intelligent Information and Engineering Systems - 16th Annual KES Conference, San Sebastian, Spain, 10-12 September 2012}
}
@article{journals/ijris/MuraiMIA12,
title = {Granular hierarchical structures of finite naïve subsets and multisets based on free monoids and homomorphisms.},
year = {2012},
journal = {Int. J. Reason. based Intell. Syst.},
author = {{Tetsuya Murai} and {Sadaaki Miyamoto} and {Masahiro Inuiguchi} and {Seiki Akama}}
}
@inproceedings{conf/grc/AkamaMK13,
title = {Bi-superintuitionistic logics for rough sets.},
year = {2013},
booktitle = {GrC},
author = {{Seiki Akama} and {Tetsuya Murai} and {Yasuo Kudo}},
publisher = {IEEE Computer Society},
booktitle = {2013 IEEE International Conference on Granular Computing, GrC 2013, Beijing, China, December 13-15, 2013}
}
@inproceedings{conf/kse/AkamaMK13,
title = {Heyting-Brouwer Rough Set Logic.},
year = {2013},
booktitle = {KSE (2)},
author = {{Seiki Akama} and {Tetsuya Murai} and {Yasuo Kudo}},
publisher = {Springer},
booktitle = {Knowledge and Systems Engineering - Proceedings of the Fifth International Conference KSE 2013, Volume 2}
}
@article{journals/ijis/AkamaMK13,
title = {Epistemic Logic Founded on Nonignorance.},
year = {2013},
journal = {Int. J. Intell. Syst.},
author = {{Seiki Akama} and {Tetsuya Murai} and {Yasuo Kudo}}
}
@inproceedings{conf/grc/AkamaMK14,
title = {Da Costa logics and vagueness.},
year = {2014},
booktitle = {GrC},
author = {{Seiki Akama} and {Tetsuya Murai} and {Yasuo Kudo}},
publisher = {IEEE Computer Society},
booktitle = {2014 IEEE International Conference on Granular Computing, GrC 2014, Noboribetsu, Japan, October 22-24, 2014}
}
@inproceedings{conf/kse/AkamaAN14,
title = {Contingent Information: A Four-Valued Approach.},
year = {2014},
booktitle = {KSE},
author = {{Seiki Akama} and {Jair Minoro Abe} and {Kazumi Nakamatsu}},
publisher = {Springer},
booktitle = {Knowledge and Systems Engineering - Proceedings of the Sixth International Conference KSE 2014, Hanoi, Vietnam, 9-11 October 2014}
}
@inproceedings{conf/scisisis/TanakaMKA14,
title = {Empty-stringizing of the false value in crisp and fuzzy granular hierarchical structures.},
year = {2014},
booktitle = {SCIS&ISIS},
author = {{Takehiro Tanaka} and {Tetsuya Murai} and {Yasuo Kudo} and {Seiki Akama}},
publisher = {IEEE},
booktitle = {2014 Joint 7th International Conference on Soft Computing and Intelligent Systems (SCIS) and 15th International Symposium on Advanced Intelligent Systems (ISIS), Kita-Kyushu, Japan, December 3-6, 2014}
}
@article{journals/jaciii/MuraiMIKA14,
title = {Crisp and Fuzzy Granular Hierarchical Structures Generated from a Free Monoid.},
year = {2014},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
author = {{Tetsuya Murai} and {Sadaaki Miyamoto} and {Masahiro Inuiguchi} and {Yasuo Kudo} and {Seiki Akama}}
}
@article{journals/jaciii/UbukataMKA14,
title = {Variable Neighborhood Model for Agent Control Introducing Accessibility Relations Between Agents with Linear Temporal Logic.},
year = {2014},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
author = {{Seiki Ubukata} and {Tetsuya Murai} and {Yasuo Kudo} and {Seiki Akama}}
}
@inproceedings{conf/iiaiaai/AkamaAN15,
title = {Evidential Reasoning in Annotated Logics.},
year = {2015},
booktitle = {IIAI-AAI},
author = {{Seiki Akama} and {Jair Minoro Abe} and {Kazumi Nakamatsu}},
publisher = {IEEE Computer Society},
booktitle = {IIAI 4th International Congress on Advanced Applied Informatics, IIAI-AAI 2015, Okayama, Japan, July 12-16, 2015}
}
@inproceedings{conf/kesidt/AbeNAF15,
title = {Propositional Algebra P1.},
year = {2015},
booktitle = {KES-IDT},
author = {{Jair Minoro Abe} and {Kazumi Nakamatsu} and {Seiki Akama} and {João Inácio da Silva Filho}},
publisher = {Springer},
booktitle = {Intelligent Decision Technologies - Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015), Sorrento, Italy, June 17-19, 2015}
}
@article{journals/jaciii/MuraiMIKA15,
title = {Fuzzy Multisets in Granular Hierarchical Structures Generated from Free Monoids.},
year = {2015},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
author = {{Tetsuya Murai} and {Sadaaki Miyamoto} and {Masahiro Inuiguchi} and {Yasuo Kudo} and {Seiki Akama}}
}
@book{series/isrl/2015-88,
title = {Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning},
year = {2015},
isbn = {978-3-319-17912-4},
publisher = {Springer},
series = {Intelligent Systems Reference Library},
author = {{Jair Minoro Abe} and {Seiki Akama} and {Kazumi Nakamatsu}}
}
@incollection{series/isrl/AkamaAN15,
title = {Constructive Discursive Logic: Paraconsistency in Constructivism.},
year = {2015},
booktitle = {Paraconsistent Intelligent-Based Systems},
author = {{Seiki Akama} and {Jair Minoro Abe} and {Kazumi Nakamatsu}},
publisher = {Springer},
booktitle = {Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency}
}
@incollection{series/isrl/NakamatsuAA15,
title = {Paraconsistent Annotated Logic Program EVALPSN and Its Applications.},
year = {2015},
booktitle = {Paraconsistent Intelligent-Based Systems},
author = {{Kazumi Nakamatsu} and {Jair Minoro Abe} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency}
}
@article{journals/synthese/AkamaMK16,
title = {Partial and paraconsistent approaches to future contingents in tense logic.},
year = {2016},
journal = {Synth.},
author = {{Seiki Akama} and {Tetsuya Murai} and {Yasuo Kudo}}
}
@incollection{series/isrl/Akama16,
title = {Introduction.},
year = {2016},
booktitle = {Towards Paraconsistent Engineering},
author = {{Seiki Akama}},
publisher = {Springer},
booktitle = {Towards Paraconsistent Engineering}
}
@incollection{series/isrl/Akama16a,
title = {A Survey of Annotated Logics.},
year = {2016},
booktitle = {Towards Paraconsistent Engineering},
author = {{Seiki Akama}},
publisher = {Springer},
booktitle = {Towards Paraconsistent Engineering}
}
@incollection{series/isrl/Akama16b,
title = {Jair Minoro Abe on Paraconsistent Engineering.},
year = {2016},
booktitle = {Towards Paraconsistent Engineering},
author = {{Seiki Akama}},
publisher = {Springer},
booktitle = {Towards Paraconsistent Engineering}
}
@incollection{series/isrl/AkamaAN16,
title = {Annotated Logics and Intelligent Control.},
year = {2016},
booktitle = {New Approaches in Intelligent Control},
author = {{Seiki Akama} and {Jair Minoro Abe} and {Kazumi Nakamatsu}},
publisher = {Springer},
booktitle = {New Approaches in Intelligent Control - Techniques, Methodologies and Applications}
}
@incollection{series/isrl/AkamaC16,
title = {Why Paraconsistent Logics?},
year = {2016},
booktitle = {Towards Paraconsistent Engineering},
author = {{Seiki Akama} and {Newton C. A. da Costa}},
publisher = {Springer},
booktitle = {Towards Paraconsistent Engineering}
}
@incollection{series/isrl/KudoMA16,
title = {A Review on Rough Sets and Possible World Semantics for Modal Logics.},
year = {2016},
booktitle = {Towards Paraconsistent Engineering},
author = {{Yasuo Kudo} and {Tetsuya Murai} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Towards Paraconsistent Engineering}
}
@incollection{series/isrl/MuraiKA16,
title = {Paraconsistency, Chellas's Conditional Logics, and Association Rules.},
year = {2016},
booktitle = {Towards Paraconsistent Engineering},
author = {{Tetsuya Murai} and {Yasuo Kudo} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Towards Paraconsistent Engineering}
}
@incollection{series/isrl/NakamatsuA16,
title = {Programming with Annotated Logics.},
year = {2016},
booktitle = {Towards Paraconsistent Engineering},
author = {{Kazumi Nakamatsu} and {Seiki Akama}},
publisher = {Springer},
booktitle = {Towards Paraconsistent Engineering}
}
@incollection{series/isrl/NakamatsuAA16,
title = {Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control.},
year = {2016},
booktitle = {New Approaches in Intelligent Control},
author = {{Kazumi Nakamatsu} and {Jair Minoro Abe} and {Seiki Akama}},
publisher = {Springer},
booktitle = {New Approaches in Intelligent Control - Techniques, Methodologies and Applications}
}
@inproceedings{conf/kesidt/AbeNAF17,
title = {The Importance of Paraconsistency and Paracompleteness in Intelligent Systems.},
year = {2017},
booktitle = {KES-IDT (2)},
author = {{Jair Minoro Abe} and {Kazumi Nakamatsu} and {Seiki Akama} and {João Inácio da Silva Filho}},
publisher = {Springer},
booktitle = {Intelligent Decision Technologies 2017 - Proceedings of the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT 2017) - Part II, Algarve, Portugal, June 21-23, 2017.}
}
@inproceedings{conf/inista/AbeNAA18,
title = {Handling Paraconsistency and Paracompleteness in Robotics.},
year = {2018},
booktitle = {INISTA},
author = {{Jair Minoro Abe} and {Kazumi Nakamatsu} and {Seiki Akama} and {Alireza Ahrary}},
publisher = {IEEE},
booktitle = {2018 Innovations in Intelligent Systems and Applications, INISTA 2018, Thessaloniki, Greece, July 3-5, 2018}
}
@inproceedings{conf/kes/AbeANF18,
title = {Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics.},
year = {2018},
booktitle = {KES},
author = {{Jair Minoro Abe} and {Seiki Akama} and {Kazumi Nakamatsu} and {João Inácio da Silva Filho}},
publisher = {Elsevier},
booktitle = {Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, Belgrade, Serbia, 3-5 September 2018.}
}
@inproceedings{conf/kes/NakayamaAM18,
title = {Four-valued Tableau Calculi for Decision Logic of Rough Set.},
year = {2018},
booktitle = {KES},
author = {{Yotaro Nakayama} and {Seiki Akama} and {Tetsuya Murai}},
publisher = {Elsevier},
booktitle = {Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, Belgrade, Serbia, 3-5 September 2018.}
}
@inproceedings{conf/scisisis/NakayamaAM18,
title = {Four-Valued Semantics for Granular Reasoning Towards Frame Problem.},
year = {2018},
booktitle = {SCIS&ISIS},
author = {{Yotaro Nakayama} and {Seiki Akama} and {Tetsuya Murai}},
publisher = {IEEE},
booktitle = {2018 Joint 10th International Conference on Soft Computing and Intelligent Systems (SCIS) and 19th International Symposium on Advanced Intelligent Systems (ISIS), Toyama, Japan, December 5-8, 2018}
}
@book{series/isrl/2018-142,
title = {Reasoning with Rough Sets - Logical Approaches to Granularity-Based Framework},
year = {2018},
isbn = {978-3-319-72690-8},
publisher = {Springer},
series = {Intelligent Systems Reference Library},
author = {{Seiki Akama} and {Tetsuya Murai} and {Yasuo Kudo}}
}
@inproceedings{conf/scisisis/NakayamaAM20,
title = {Rough Set Logic for Kleene's Three-valued Logic.},
year = {2020},
booktitle = {SCIS/ISIS},
author = {{Yotaro Nakayama} and {Seiki Akama} and {Tetsuya Murai}},
publisher = {IEEE},
booktitle = {Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems, SCIS/ISIS 2020, Hachijo Island, Japan, December 5-8, 2020}
}
@article{journals/jaciii/NakayamaAM20,
title = {Bilattice Logic for Rough Sets.},
year = {2020},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
author = {{Yotaro Nakayama} and {Seiki Akama} and {Tetsuya Murai}}
}
@book{series/isrl/2020-168,
title = {Topics in Rough Set Theory - Current Applications to Granular Computing},
year = {2020},
isbn = {978-3-030-29565-3},
publisher = {Springer},
series = {Intelligent Systems Reference Library},
author = {{Seiki Akama} and {Yasuo Kudo} and {Tetsuya Murai}}
}
@article{journals/ijris/NakayamaAM21,
title = {Many-valued tableau calculi for decision logic based on approximation regions in VPRS.},
year = {2021},
journal = {Int. J. Reason. based Intell. Syst.},
author = {{Yotaro Nakayama} and {Seiki Akama} and {Tetsuya Murai}}
}
@inproceedings{conf/kesidt/NakayamaAAM22,
title = {Four-Valued Interpretation for Paraconsistent Annotated Evidential Logic.},
year = {2022},
booktitle = {KES-IDT},
author = {{Yotaro Nakayama} and {Seiki Akama} and {Jair Minoro Abe} and {Tetsuya Murai}},
publisher = {Springer},
booktitle = {Intelligent Decision Technologies - Proceedings of the 14th KES-IDT 2022 Conference, Virtual Event / Rhodes, Greece, June 20-22, 2022}
}
@inproceedings{conf/fuzzIEEE/NakayamaAAM23,
title = {Annotated Logic with Rough Double Stone Algebraic Interpretation.},
year = {2023},
booktitle = {FUZZ},
author = {{Yotaro Nakayama} and {Seiki Akama} and {Jair Minoro Abe} and {Tetsuya Murai}},
publisher = {IEEE},
booktitle = {IEEE International Conference on Fuzzy Systems, FUZZ 2023, Incheon, Republic of Korea, August 13-17, 2023}
}
@book{series/isrl/2023-239,
title = {Epistemic Situation Calculus Based on Granular Computing - A New Approach to Common-Sense Reasoning},
year = {2023},
isbn = {978-3-031-28550-9},
publisher = {Springer},
series = {Intelligent Systems Reference Library},
author = {{Seiki Akama} and {Yotaro Nakayama} and {Tetsuya Murai}}
}