The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Atsuyuki Suzuki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kazumi Nakamatsu, Atsuyuki Suzuki
    A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation. [Citation Graph (0, 0)][DBLP]
    Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997, pp:79-93 [Conf]
  2. Noriaki Izumi, Akira Maruyama, Atsuyuki Suzuki, Takahira Yamaguchi
    An Interoperative Environment for Developing Expert Systems. [Citation Graph (0, 0)][DBLP]
    EKAW, 1999, pp:335-340 [Conf]
  3. Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
    Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification. [Citation Graph (0, 0)][DBLP]
    HIS, 2001, pp:665-679 [Conf]
  4. Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
    A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. [Citation Graph (0, 0)][DBLP]
    HIS, 2002, pp:775-784 [Conf]
  5. Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki
    A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. [Citation Graph (0, 0)][DBLP]
    KES, 2004, pp:954-960 [Conf]
  6. Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki
    EVALPSN Based Railway Interlocking Simulator. [Citation Graph (0, 0)][DBLP]
    KES, 2004, pp:961-967 [Conf]
  7. Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
    Annotated Semantics for Defeasible Deontic Reasoning. [Citation Graph (0, 0)][DBLP]
    Rough Sets and Current Trends in Computing, 2000, pp:470-478 [Conf]
  8. Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung
    Defeasible Deontic Control for Discrete Events Based on EVALPSN. [Citation Graph (0, 0)][DBLP]
    Rough Sets and Current Trends in Computing, 2004, pp:310-315 [Conf]
  9. Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki
    A Discrete Event Control Based on EVALPSN Stable Model Computation. [Citation Graph (0, 0)][DBLP]
    RSFDGrC (1), 2005, pp:671-681 [Conf]
  10. Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki
    Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. [Citation Graph (0, 0)][DBLP]
    RSFDGrC, 2003, pp:719-723 [Conf]
  11. Shin'ichiro Takizawa, Atsuyuki Suzuki
    Analysis of the decision to invest for constructing a nuclear power plant under regulation of electricity price. [Citation Graph (0, 0)][DBLP]
    Decision Support Systems, 2004, v:37, n:3, pp:449-456 [Journal]

  12. Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II. [Citation Graph (, )][DBLP]


  13. Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III. [Citation Graph (, )][DBLP]


  14. A Discrete Event Control Based on EVALPSN Stable Model. [Citation Graph (, )][DBLP]


  15. Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I. [Citation Graph (, )][DBLP]


  16. Autoepistemic Theory and Paraconsistent Logic Program. [Citation Graph (, )][DBLP]


  17. Intelligent Safety Verification for Pipeline Based on EVALPSN. [Citation Graph (, )][DBLP]


  18. An EVALP Based Traffic Simulation System. [Citation Graph (, )][DBLP]


  19. Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV. [Citation Graph (, )][DBLP]


Search in 0.048secs, Finished in 0.050secs
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