Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Kazumi Nakamatsu

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Atsuyuki Suzuki

> Home > Persons > Kazumi Nakamatsu

Publications

2005
[c20]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/laptec/NakamatsuKS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laptec/NakamatsuKS05
Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki:
Intelligent Safety Verification for Pipeline Based on EVALPSN. LAPTEC 2005: 63-70
[c19]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/laptec/NakamatsuKS05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laptec/NakamatsuKS05a
Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki:
A Discrete Event Control Based on EVALPSN Stable Model. LAPTEC 2005: 71-78
[c18]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/laptec/NakamatsuIS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laptec/NakamatsuIS05
Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki:
An EVALP Based Traffic Simulation System. LAPTEC 2005: 79-86
[c16]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/laptec/NakamatsuS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laptec/NakamatsuS05
Kazumi Nakamatsu, Atsuyuki Suzuki:
Autoepistemic Theory and Paraconsistent Logic Program. LAPTEC 2005: 177-184
[c15]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/laptec/NakamatsuS05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laptec/NakamatsuS05a
Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I. LAPTEC 2005: 185-191
[c14]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/laptec/NakamatsuS05b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laptec/NakamatsuS05b
Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II. LAPTEC 2005: 192-198
[c13]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/laptec/NakamatsuS05c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laptec/NakamatsuS05c
Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III. LAPTEC 2005: 199-206
[c12]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/laptec/NakamatsuS05d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laptec/NakamatsuS05d
Kazumi Nakamatsu, Atsuyuki Suzuki:
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV. LAPTEC 2005: 207-215
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/rsfdgrc/NakamatsuCKS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsfdgrc/NakamatsuCKS05
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
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/NakamatsuIS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/NakamatsuIS04
Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki:
A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. KES 2004: 954-960
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/NakamatsuKS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/NakamatsuKS04
Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki:
EVALPSN Based Railway Interlocking Simulator. KES 2004: 961-967
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rsctc/NakamatsuKSLC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsctc/NakamatsuKSLC04
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
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/rsfdgrc/NakamatsuSAS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsfdgrc/NakamatsuSAS03
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
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/his/NakamatsuAS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/his/NakamatsuAS02
Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki:
A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. HIS 2002: 775-784
2001
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/his/NakamatsuAS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/his/NakamatsuAS01
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
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/rsctc/NakamatsuAS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsctc/NakamatsuAS00
Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki:
Annotated Semantics for Defeasible Deontic Reasoning. Rough Sets and Current Trends in Computing 2000: 470-478
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/NakamatsuS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/NakamatsuS97
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

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.