 | 2011 |
|---|
| 43 |       | Seiki Akama,
Tetsuya Murai,
Yasuo Kudo:
Paraconsistecy in future contradictions.
GrC 2011: 42-47 |
| 42 | | 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 |
| 41 | | Jair Minoro Abe,
Helder F. S. Lopes,
Kazumi Nakamatsu,
Seiki Akama:
Applications of Paraconsistent Artificial Neural Networks in EEG.
ICCCI (1) 2011: 82-92 |
| 40 | | 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) |
| 2010 |
|---|
| 39 | | Kazumi Nakamatsu,
Jair Minoro Abe,
Seiki Akama,
Roumen Kountchev:
Introduction to Intelligent Elevator Control Based on EVALPSN.
KES (3) 2010: 133-142 |
| 38 | | Jair Minoro Abe,
Kazumi Nakamatsu,
Seiki Akama:
Monadic Curry System N1.
KES (3) 2010: 143-153 |
| 37 | | Jair Minoro Abe,
Helder F. S. Lopes,
Kazumi Nakamatsu,
Seiki Akama:
Paraconsistent Artificial Neural Networks and EEG Analysis.
KES (3) 2010: 164-173 |
| 36 | | Seiki Akama,
Kazumi Nakamatsu,
Jair Minoro Abe:
Constructive Discursive Reasoning.
KES (3) 2010: 200-206 |
| 2009 |
|---|
| 35 | | Kazumi Nakamatsu,
Jair Minoro Abe,
Seiki Akama:
A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN.
KES (2) 2009: 380-387 |
| 34 | | Kazumi Nakamatsu,
Jair Minoro Abe,
Seiki Akama:
A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN.
RSFDGrC 2009: 135-143 |
| 33 | | Yasuo Kudo,
Tetsuya Murai,
Seiki Akama:
A granularity-based framework of deduction, induction, and abduction.
Int. J. Approx. Reasoning 50(8): 1215-1226 (2009) |
| 2008 |
|---|
| 32 | | Kazumi Nakamatsu,
Jair Minoro Abe,
Seiki Akama:
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.
KES (2) 2008: 474-482 |
| 31 | | 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 |
| 30 | | Jair Minoro Abe,
Kazumi Nakamatsu,
Seiki Akama:
Two Applications of Paraconsistent Logical Controller.
New Directions in Intelligent Interactive Multimedia 2008: 249-254 |
| 29 | | Kazumi Nakamatsu,
Jair Minoro Abe,
Seiki Akama:
Paraconsistent Before-After Relation Reasoning Based on EVALPSN.
New Directions in Intelligent Interactive Multimedia 2008: 265-274 |
| 28 | | Seiki Akama,
Kazumi Nakamatsu,
Jair Minoro Abe:
Constructive Logic and the Sorites Paradox.
New Directions in Intelligent Interactive Multimedia 2008: 285-292 |
| 27 | | Seiki Akama,
Yasunori Nagata,
Chikatoshi Yamada:
Three-Valued Temporal Logic Q t and Future Contingents.
Studia Logica 88(2): 215-231 (2008) |
| 2007 |
|---|
| 26 | | Seiki Akama,
Kazumi Nakamatsu,
Jair Minoro Abe:
A Natural Deduction System for Annotated Predicate Logic.
KES (2) 2007: 861-868 |
| 25 | | Kazumi Nakamatsu,
Jair Minoro Abe,
Seiki Akama:
An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.
KES (2) 2007: 869-876 |
| 24 | | Jair Minoro Abe,
Seiki Akama,
Kazumi Nakamatsu:
Monadic Curry Algebras Q tau.
KES (2) 2007: 893-900 |
| 23 | | Seiki Akama,
Yasunori Nagata:
Prior's Three-Valued Modal Logic Q and its Possible Applications.
JACIII 11(1): 105-110 (2007) |
| 2005 |
|---|
| 22 | | Seiki Akama,
Yasunori Nagata:
On Prior's Three-Valued Modal Logic Q.
ISMVL 2005: 14-19 |
| 21 | | Kazumi Nakamatsu,
Seiki Akama,
Jair Minoro Abe:
An Intelligent Safety Verification Based on a Paraconsistent Logic Program.
KES (2) 2005: 708-715 |
| 20 | | Jair Minoro Abe,
Kazumi Nakamatsu,
Seiki Akama:
Non-alethic Reasoning in Distributed Systems.
KES (2) 2005: 724-731 |
| 19 | | Seiki Akama,
Yasunori Nagata:
Constructive Logic and Situation Theory.
LAPTEC 2005: 1-8 |
| 18 | | Seiki Akama,
Tetsuya Murai:
Rough Set Semantics for Three-Valued Logics.
LAPTEC 2005: 242-247 |
| 17 | | Tetsuya Murai,
Yasuo Kudo,
Seiki Akama,
Jair Minoro Abe:
Paraconsistency and Paracompleteness in Chellas's Conditional Logics.
LAPTEC 2005: 248-255 |
| 2000 |
|---|
| 16 | | Jair Minoro Abe,
Seiki Akama:
Annotated Temporal Logics Delta*tau.
IBERAMIA-SBIA 2000: 217-226 |
| 1998 |
|---|
| 15 | | Seiki Akama,
Jair Minoro Abe:
Many-Valued and Annotated Modal Logics.
ISMVL 1998: 114- |
| 1997 |
|---|
| 14 | | Seiki Akama:
A Proof Method for the Six-Valued Logic for Incomplete Information.
ISMVL 1997: 223-226 |
| 13 | | Seiki Akama:
Tableaux for Logic Programming with Strong Negation.
TABLEAUX 1997: 31-42 |
| 1995 |
|---|
| 12 | | Seiki Akama,
Y. Nakayama:
A Three-Valued Semantics for Discourse Representations.
ISMVL 1995: 123- |
| 11 | | Seiki Akama:
Three-Valued Constructive Logic and Logic Programs.
ISMVL 1995: 276- |
| 1994 |
|---|
| 10 | | Seiki Akama,
Yotaro Nakayama:
Consequence Relations In DRT.
COLING 1994: 1114-1117 |
| 1992 |
|---|
| 9 |  | Seiki Akama,
Hiroto Ohnishi:
Overview of Non-monotonic Deduction Systems.
IWAR 1992: 47-56 |
| 8 | | Seiki Akama:
The Gentzen-Kripke construction of the intermediate logic LQ.
Notre Dame Journal of Formal Logic 33(1): 148-153 (1992) |
| 1991 |
|---|
| 7 | | Seiki Akama:
Amalgamated Logic Programming and Non-Monotonic Reasoning.
ISMIS 1991: 450-458 |
| 6 | | 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 |
| 1989 |
|---|
| 5 | | Akira Ishikawa,
Seiki Akama:
Long-Distance Dependencies in a Logic Grammar: SCP.
J. Inf. Sci. Eng. 5(4): 367-377 (1989) |
| 1988 |
|---|
| 4 | | Seiki Akama,
Akira Ishikawa:
Semantically Constrained Parsing and Logic Programming.
META 1988: 157-168 |
| 1987 |
|---|
| 3 | | Seiki Akama,
Masahito Kawamori:
Data Semantics in Logic Programming Framework.
Natural Language Understanding and Logic Programming Workshop 1987: 135-151 |
| 1986 |
|---|
| 2 | | Seiki Akama,
Masahito Kawamori:
Situational Investigation of Presupposition.
COLING 1986: 174-176 |
| 1 | | Seiki Akama:
Methodology and Verifiability in Montague Grammar.
COLING 1986: 88-90 |
Data released under the ODC-BY 1.0 license — See also our legal information page