Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Atsuyuki Suzuki
2000 – 2009
- 2005
[c18]Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki: Intelligent Safety Verification for Pipeline Based on EVALPSN. LAPTEC 2005: 63-70- [c17]Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki: A Discrete Event Control Based on EVALPSN Stable Model. LAPTEC 2005: 71-78
- [c16]Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki: An EVALP Based Traffic Simulation System. LAPTEC 2005: 79-86
- [c15]Kazumi Nakamatsu, Atsuyuki Suzuki: Autoepistemic Theory and Paraconsistent Logic Program. LAPTEC 2005: 177-184
- [c14]Kazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I. LAPTEC 2005: 185-191
- [c13]Kazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II. LAPTEC 2005: 192-198
- [c12]Kazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III. LAPTEC 2005: 199-206
- [c11]Kazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV. LAPTEC 2005: 207-215
- [c10]Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki: A Discrete Event Control Based on EVALPSN Stable Model Computation. RSFDGrC (1) 2005: 671-681
- 2004
- [j1]Shin'ichiro Takizawa, Atsuyuki Suzuki: Analysis of the decision to invest for constructing a nuclear power plant under regulation of electricity price. Decision Support Systems 37(3): 449-456 (2004)
- [c9]Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki: A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. KES 2004: 954-960
- [c8]Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki: EVALPSN Based Railway Interlocking Simulator. KES 2004: 961-967
- [c7]Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung: Defeasible Deontic Control for Discrete Events Based on EVALPSN. Rough Sets and Current Trends in Computing 2004: 310-315
- 2003
- [c6]Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki: Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. RSFDGrC 2003: 719-723
- 2002
- [c5]Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki: A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. HIS 2002: 775-784
- 2001
- [c4]Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki: Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification. HIS 2001: 665-679
- 2000
- [c3]Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki: Annotated Semantics for Defeasible Deontic Reasoning. Rough Sets and Current Trends in Computing 2000: 470-478
1990 – 1999
- 1999
- [c2]Noriaki Izumi, Akira Maruyama, Atsuyuki Suzuki, Takahira Yamaguchi: An Interoperative Environment for Developing Expert Systems. EKAW 1999: 335-340
- 1997
- [c1]Kazumi Nakamatsu, Atsuyuki Suzuki: A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 79-93
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:05 CET by the dblp team