| 2005 |
|---|
| 19 | | Kazumi Nakamatsu,
Atsuyuki Suzuki:
Autoepistemic Theory and Paraconsistent Logic Program.
LAPTEC 2005: 177-184 |
| 18 | | Kazumi Nakamatsu,
Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I.
LAPTEC 2005: 185-191 |
| 17 | | Kazumi Nakamatsu,
Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II.
LAPTEC 2005: 192-198 |
| 16 | | Kazumi Nakamatsu,
Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III.
LAPTEC 2005: 199-206 |
| 15 | | Kazumi Nakamatsu,
Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV.
LAPTEC 2005: 207-215 |
| 14 | | Kazumi Nakamatsu,
Kenji Kawasumi,
Atsuyuki Suzuki:
Intelligent Safety Verification for Pipeline Based on EVALPSN.
LAPTEC 2005: 63-70 |
| 13 | | Kazumi Nakamatsu,
Hayato Komaba,
Atsuyuki Suzuki:
A Discrete Event Control Based on EVALPSN Stable Model.
LAPTEC 2005: 71-78 |
| 12 | | Kazumi Nakamatsu,
Ryuji Ishikawa,
Atsuyuki Suzuki:
An EVALP Based Traffic Simulation System.
LAPTEC 2005: 79-86 |
| 11 | EE | 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 |
|---|
| 10 | EE | Kazumi Nakamatsu,
Ryuji Ishikawa,
Atsuyuki Suzuki:
A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.
KES 2004: 954-960 |
| 9 | EE | Kazumi Nakamatsu,
Yosuke Kiuchi,
Atsuyuki Suzuki:
EVALPSN Based Railway Interlocking Simulator.
KES 2004: 961-967 |
| 8 | EE | 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 |
| 7 | EE | 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) |
| 2003 |
|---|
| 6 | EE | 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 |
|---|
| 5 | | Kazumi Nakamatsu,
Jair Minoro Abe,
Atsuyuki Suzuki:
A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming.
HIS 2002: 775-784 |
| 2001 |
|---|
| 4 | | 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 |
|---|
| 3 | EE | Kazumi Nakamatsu,
Jair Minoro Abe,
Atsuyuki Suzuki:
Annotated Semantics for Defeasible Deontic Reasoning.
Rough Sets and Current Trends in Computing 2000: 470-478 |
| 1999 |
|---|
| 2 | EE | Noriaki Izumi,
Akira Maruyama,
Atsuyuki Suzuki,
Takahira Yamaguchi:
An Interoperative Environment for Developing Expert Systems.
EKAW 1999: 335-340 |
| 1997 |
|---|
| 1 | EE | 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 |
