The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Seiki Akama: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Seiki Akama
    Methodology and Verifiability in Montague Grammar. [Citation Graph (0, 0)][DBLP]
    COLING, 1986, pp:88-90 [Conf]
  2. Seiki Akama, Masahito Kawamori
    Situational Investigation of Presupposition. [Citation Graph (0, 0)][DBLP]
    COLING, 1986, pp:174-176 [Conf]
  3. Seiki Akama, Yotaro Nakayama
    Consequence Relations In DRT. [Citation Graph (0, 0)][DBLP]
    COLING, 1994, pp:1114-1117 [Conf]
  4. Seiki Akama
    Amalgamated Logic Programming and Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1991, pp:450-458 [Conf]
  5. Seiki Akama
    Three-Valued Constructive Logic and Logic Programs. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1995, pp:276-0 [Conf]
  6. Seiki Akama
    A Proof Method for the Six-Valued Logic for Incomplete Information. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1997, pp:223-226 [Conf]
  7. Seiki Akama, Jair Minoro Abe
    Many-Valued and Annotated Modal Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1998, pp:114-0 [Conf]
  8. Seiki Akama, Yasunori Nagata
    On Prior's Three-Valued Modal Logic Q. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2005, pp:14-19 [Conf]
  9. Seiki Akama, Y. Nakayama
    A Three-Valued Semantics for Discourse Representations. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1995, pp:123-0 [Conf]
  10. Seiki Akama, Hiroto Ohnishi
    Overview of Non-monotonic Deduction Systems. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:47-56 [Conf]
  11. 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]
  12. 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]
  13. Seiki Akama, Akira Ishikawa
    Semantically Constrained Parsing and Logic Programming. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:157-168 [Conf]
  14. 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]
  15. 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]
  16. Jair Minoro Abe, Seiki Akama
    Annotated Temporal Logics Delta*tau. [Citation Graph (0, 0)][DBLP]
    IBERAMIA-SBIA, 2000, pp:217-226 [Conf]
  17. Seiki Akama
    Tableaux for Logic Programming with Strong Negation. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:31-42 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu
    Monadic Curry Algebras Q tau. [Citation Graph (0, 0)][DBLP]
    KES (2), 2007, pp:893-900 [Conf]
  22. 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]

  23. Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. [Citation Graph (, )][DBLP]


  24. A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN. [Citation Graph (, )][DBLP]


  25. A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. [Citation Graph (, )][DBLP]


  26. Paraconsistency and Paracompleteness in Chellas's Conditional Logics. [Citation Graph (, )][DBLP]


  27. Constructive Logic and Situation Theory. [Citation Graph (, )][DBLP]


  28. Rough Set Semantics for Three-Valued Logics. [Citation Graph (, )][DBLP]


Search in 0.015secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002