dblp.uni-trier.dewww.uni-trier.de

Seiki Akama

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
32EEKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. KES (2) 2008: 474-482
31EEYasuo 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
30EEJair Minoro Abe, Kazumi Nakamatsu, Seiki Akama: Two Applications of Paraconsistent Logical Controller. New Directions in Intelligent Interactive Multimedia 2008: 249-254
29EEKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: Paraconsistent Before-After Relation Reasoning Based on EVALPSN. New Directions in Intelligent Interactive Multimedia 2008: 265-274
28EESeiki Akama, Kazumi Nakamatsu, Jair Minoro Abe: Constructive Logic and the Sorites Paradox. New Directions in Intelligent Interactive Multimedia 2008: 285-292
27EESeiki Akama, Yasunori Nagata, Chikatoshi Yamada: Three-Valued Temporal Logic Q t and Future Contingents. Studia Logica 88(2): 215-231 (2008)
2007
26EESeiki Akama, Kazumi Nakamatsu, Jair Minoro Abe: A Natural Deduction System for Annotated Predicate Logic. KES (2) 2007: 861-868
25EEKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. KES (2) 2007: 869-876
24EEJair Minoro Abe, Seiki Akama, Kazumi Nakamatsu: Monadic Curry Algebras Q tau. KES (2) 2007: 893-900
23EESeiki Akama, Yasunori Nagata: Prior's Three-Valued Modal Logic Q and its Possible Applications. JACIII 11(1): 105-110 (2007)
2005
22EESeiki Akama, Yasunori Nagata: On Prior's Three-Valued Modal Logic Q. ISMVL 2005: 14-19
21EEKazumi Nakamatsu, Seiki Akama, Jair Minoro Abe: An Intelligent Safety Verification Based on a Paraconsistent Logic Program. KES (2) 2005: 708-715
20EEJair 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
16EEJair Minoro Abe, Seiki Akama: Annotated Temporal Logics Delta*tau. IBERAMIA-SBIA 2000: 217-226
1998
15EESeiki Akama, Jair Minoro Abe: Many-Valued and Annotated Modal Logics. ISMVL 1998: 114-
1997
14EESeiki 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
12EESeiki Akama, Y. Nakayama: A Three-Valued Semantics for Discourse Representations. ISMVL 1995: 123-
11EESeiki Akama: Three-Valued Constructive Logic and Logic Programs. ISMVL 1995: 276-
1994
10EESeiki 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
5EEAkira 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

Coauthor Index

1Jair Minoro Abe [15] [16] [17] [20] [21] [24] [25] [26] [28] [29] [30] [32]
2Akira Ishikawa [4] [5] [6]
3Masahito Kawamori [2] [3]
4Yasuo Kudo [17] [31]
5Tetsuya Murai [17] [18] [31]
6Yasunori Nagata [19] [22] [23] [27]
7Kazumi Nakamatsu [20] [21] [24] [25] [26] [28] [29] [30] [32]
8Y. Nakayama [12]
9Yotaro Nakayama [10]
10Hiroto Ohnishi [9]
11Chikatoshi Yamada [27]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)