The SCEAS System
| |||||||

## Search the dblp DataBase
Seiki Akama:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Seiki Akama
**Methodology and Verifiability in Montague Grammar.**[Citation Graph (0, 0)][DBLP] COLING, 1986, pp:88-90 [Conf] - Seiki Akama, Masahito Kawamori
**Situational Investigation of Presupposition.**[Citation Graph (0, 0)][DBLP] COLING, 1986, pp:174-176 [Conf] - Seiki Akama, Yotaro Nakayama
**Consequence Relations In DRT.**[Citation Graph (0, 0)][DBLP] COLING, 1994, pp:1114-1117 [Conf] - Seiki Akama
**Amalgamated Logic Programming and Non-Monotonic Reasoning.**[Citation Graph (0, 0)][DBLP] ISMIS, 1991, pp:450-458 [Conf] - Seiki Akama
**Three-Valued Constructive Logic and Logic Programs.**[Citation Graph (0, 0)][DBLP] ISMVL, 1995, pp:276-0 [Conf] - Seiki Akama
**A Proof Method for the Six-Valued Logic for Incomplete Information.**[Citation Graph (0, 0)][DBLP] ISMVL, 1997, pp:223-226 [Conf] - Seiki Akama, Jair Minoro Abe
**Many-Valued and Annotated Modal Logics.**[Citation Graph (0, 0)][DBLP] ISMVL, 1998, pp:114-0 [Conf] - Seiki Akama, Yasunori Nagata
**On Prior's Three-Valued Modal Logic Q.**[Citation Graph (0, 0)][DBLP] ISMVL, 2005, pp:14-19 [Conf] - Seiki Akama, Y. Nakayama
**A Three-Valued Semantics for Discourse Representations.**[Citation Graph (0, 0)][DBLP] ISMVL, 1995, pp:123-0 [Conf] - Seiki Akama, Hiroto Ohnishi
**Overview of Non-monotonic Deduction Systems.**[Citation Graph (0, 0)][DBLP] IWAR, 1992, pp:47-56 [Conf] - Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama
**Non-alethic Reasoning in Distributed Systems.**[Citation Graph (0, 0)][DBLP] KES (2), 2005, pp:724-731 [Conf] - Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe
**An Intelligent Safety Verification Based on a Paraconsistent Logic Program.**[Citation Graph (0, 0)][DBLP] KES (2), 2005, pp:708-715 [Conf] - Seiki Akama, Akira Ishikawa
**Semantically Constrained Parsing and Logic Programming.**[Citation Graph (0, 0)][DBLP] META, 1988, pp:157-168 [Conf] - Seiki Akama, Masahito Kawamori
**Data Semantics in Logic Programming Framework.**[Citation Graph (0, 0)][DBLP] Natural Language Understanding and Logic Programming Workshop, 1987, pp:135-151 [Conf] - Akira Ishikawa, Seiki Akama
**A Semantic Interface for Logic Grammars and its Application to DRT.**[Citation Graph (0, 0)][DBLP] Natural Language Understanding and Logic Programming Workshop, 1991, pp:281-292 [Conf] - Jair Minoro Abe, Seiki Akama
**Annotated Temporal Logics Delta*tau.**[Citation Graph (0, 0)][DBLP] IBERAMIA-SBIA, 2000, pp:217-226 [Conf] - Seiki Akama
**Tableaux for Logic Programming with Strong Negation.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1997, pp:31-42 [Conf] - Akira Ishikawa, Seiki Akama
**Long-Distance Dependencies in a Logic Grammar: SCP.**[Citation Graph (0, 0)][DBLP] J. Inf. Sci. Eng., 1989, v:5, n:4, pp:367-377 [Journal] - Seiki Akama
**The Gentzen-Kripke construction of the intermediate logic LQ.**[Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:148-153 [Journal] - Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe
**A Natural Deduction System for Annotated Predicate Logic.**[Citation Graph (0, 0)][DBLP] KES (2), 2007, pp:861-868 [Conf] - Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
**Monadic Curry Algebras Q**[Citation Graph (0, 0)][DBLP]*tau*. KES (2), 2007, pp:893-900 [Conf] - Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama
**An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.**[Citation Graph (0, 0)][DBLP] KES (2), 2007, pp:869-876 [Conf] **Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.**[Citation Graph (, )][DBLP]**A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN.**[Citation Graph (, )][DBLP]**A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN.**[Citation Graph (, )][DBLP]**Paraconsistency and Paracompleteness in Chellas's Conditional Logics.**[Citation Graph (, )][DBLP]**Constructive Logic and Situation Theory.**[Citation Graph (, )][DBLP]**Rough Set Semantics for Three-Valued Logics.**[Citation Graph (, )][DBLP]
Search in 0.015secs, Finished in 0.016secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |