Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Seiki Akama

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c35]
- view
  - electronic edition @ iospress.nl
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/AbeNA12
- ask others
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama: Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces. KES 2012: 1342-1349
2011
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/kes/NakamatsuAA11
- ask others
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. KES Journal 15(3): 145-163 (2011)
[c34]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/grc/AkamaMK11
- ask others
Seiki Akama, Tetsuya Murai, Yasuo Kudo: Paraconsistecy in future contradictions. GrC 2011: 42-47
[c33]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/grc/MuraiKKA11
- ask others
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
[c32]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iccci/AbeLNA11
- ask others
Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama: Applications of Paraconsistent Artificial Neural Networks in EEG. ICCCI (1) 2011: 82-92
[c31]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ismvl/AkamaN11
- ask others
Seiki Akama, Yasunori Nagata: A Three-Valued Approach to the Master Argument. ISMVL 2011: 44-49
2010
[c30]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/NakamatsuAAK10
- ask others
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev: Introduction to Intelligent Elevator Control Based on EVALPSN. KES (3) 2010: 133-142
[c29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/AbeNA10
- ask others
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama: Monadic Curry System N₁. KES (3) 2010: 143-153
[c28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/AbeLNA10
- ask others
Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu, Seiki Akama: Paraconsistent Artificial Neural Networks and EEG Analysis. KES (3) 2010: 164-173
[c27]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/AkamaNA10
- ask others
Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe: Constructive Discursive Reasoning. KES (3) 2010: 200-206

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijar/KudoMA09
- ask others
Yasuo Kudo, Tetsuya Murai, Seiki Akama: A granularity-based framework of deduction, induction, and abduction. Int. J. Approx. Reasoning 50(8): 1215-1226 (2009)
[c26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/NakamatsuAA09
- ask others
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]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rsfdgrc/NakamatsuAA09
- ask others
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. RSFDGrC 2009: 135-143
2008
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sLogica/AkamaNY08
- ask others
Seiki Akama, Yasunori Nagata, Chikatoshi Yamada: Three-Valued Temporal Logic Q _t and Future Contingents. Studia Logica 88(2): 215-231 (2008)
[c24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/NakamatsuAA08
- ask others
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. KES (2) 2008: 474-482
[p4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - series/asc/KudoMA08
- ask others
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]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - series/sci/AbeNA08
- ask others
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama: Two Applications of Paraconsistent Logical Controller. New Directions in Intelligent Interactive Multimedia 2008: 249-254
[p2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - series/sci/NakamatsuAA08
- ask others
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]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - series/sci/AkamaNA08
- ask others
Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe: Constructive Logic and the Sorites Paradox. New Directions in Intelligent Interactive Multimedia 2008: 285-292
2007
[j3]
- view
  - electronic edition @ fujipress.jp
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jaciii/AkamaN07
- ask others
Seiki Akama, Yasunori Nagata: Prior's Three-Valued Modal Logic Q and its Possible Applications. JACIII 11(1): 105-110 (2007)
[c23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/AkamaNA07
- ask others
Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe: A Natural Deduction System for Annotated Predicate Logic. KES (2) 2007: 861-868
[c22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/NakamatsuAA07
- ask others
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. KES (2) 2007: 869-876
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/AbeAN07
- ask others
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu: Monadic Curry Algebras Q tau. KES (2) 2007: 893-900
2005
[c20]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ismvl/AkamaN05
- ask others
Seiki Akama, Yasunori Nagata: On Prior's Three-Valued Modal Logic Q. ISMVL 2005: 14-19
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/NakamatsuAA05
- ask others
Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe: An Intelligent Safety Verification Based on a Paraconsistent Logic Program. KES (2) 2005: 708-715
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/AbeNA05
- ask others
Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama: Non-alethic Reasoning in Distributed Systems. KES (2) 2005: 724-731
[c17]
- view
  - electronic edition @ iospress.nl
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/laptec/AkamaN05
- ask others
Seiki Akama, Yasunori Nagata: Constructive Logic and Situation Theory. LAPTEC 2005: 1-8
[c16]
- view
  - electronic edition @ iospress.nl
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/laptec/AkamaM05
- ask others
Seiki Akama, Tetsuya Murai: Rough Set Semantics for Three-Valued Logics. LAPTEC 2005: 242-247
[c15]
- view
  - electronic edition @ iospress.nl
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/laptec/MuraiKAA05
- ask others
Tetsuya Murai, Yasuo Kudo, Seiki Akama, Jair Minoro Abe: Paraconsistency and Paracompleteness in Chellas's Conditional Logics. LAPTEC 2005: 248-255
2000
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sbia/AbeA00
- ask others
Jair Minoro Abe, Seiki Akama: Annotated Temporal Logics Delta*tau. IBERAMIA-SBIA 2000: 217-226

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1998
[c13]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ismvl/AkamaA98
- ask others
Seiki Akama, Jair Minoro Abe: Many-Valued and Annotated Modal Logics. ISMVL 1998: 114-
1997
[c12]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ismvl/Akama97
- ask others
Seiki Akama: A Proof Method for the Six-Valued Logic for Incomplete Information. ISMVL 1997: 223-226
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tableaux/Akama97
- ask others
Seiki Akama: Tableaux for Logic Programming with Strong Negation. TABLEAUX 1997: 31-42
1995
[c10]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ismvl/AkamaN95
- ask others
Seiki Akama, Yotaro Nakayama: A Three-Valued Semantics for Discourse Representations. ISMVL 1995: 123-
[c9]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ismvl/Akama95
- ask others
Seiki Akama: Three-Valued Constructive Logic and Logic Programs. ISMVL 1995: 276-
1994
[c8]
- view
  - electronic edition @ aclweb.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/coling/AkamaN94
- ask others
Seiki Akama, Yotaro Nakayama: Consequence Relations In DRT. COLING 1994: 1114-1117
1992
[j2]
- view
  - electronic edition @ projecteuclid.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ndjfl/Akama92
- ask others
Seiki Akama: The Gentzen-Kripke construction of the intermediate logic LQ. Notre Dame Journal of Formal Logic 33(1): 148-153 (1992)
[c7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iwar/AkamaO92
- ask others
Seiki Akama, Hiroto Ohnishi: Overview of Non-monotonic Deduction Systems. IWAR 1992: 47-56
1991
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ismis/Akama91
- ask others
Seiki Akama: Amalgamated Logic Programming and Non-Monotonic Reasoning. ISMIS 1991: 450-458
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/nlulp/IshikawaA91
- ask others
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

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[j1]
- view
  - electronic edition @ edu.tw
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jise/IshikawaA89
- ask others
Akira Ishikawa, Seiki Akama: Long-Distance Dependencies in a Logic Grammar: SCP. J. Inf. Sci. Eng. 5(4): 367-377 (1989)
1988
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/meta/AkamaI88
- ask others
Seiki Akama, Akira Ishikawa: Semantically Constrained Parsing and Logic Programming. META 1988: 157-168
1987
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/nlulp/AkamaK87
- ask others
Seiki Akama, Masahito Kawamori: Data Semantics in Logic Programming Framework. Natural Language Understanding and Logic Programming Workshop 1987: 135-151
1986
[c2]
- view
  - electronic edition @ aclweb.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/coling/Akama86
- ask others
Seiki Akama: Methodology and Verifiability in Montague Grammar. COLING 1986: 88-90
[c1]
- view
  - electronic edition @ aclweb.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/coling/AkamaK86
- ask others
Seiki Akama, Masahito Kawamori: Situational Investigation of Presupposition. COLING 1986: 174-176