Search the dblp DataBase

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]