Kazumi Nakamatsu Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN. KES (2) 2009: 380-387
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJair Minoro Abe, Kazumi Nakamatsu, Fábio Romeu de Carvalho: A Note on Monadic Curry System P1. KES (2) 2009: 388-394
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. RSFDGrC 2009: 135-143
2008
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu: Improving EEG Analysis by Using Paraconsistent Artificial Neural Networks. KES (2) 2008: 466-473
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. KES (2) 2008: 474-482
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu: The Paraconsistent Annotated Logic Program EVALPSN and its Application. Computational Intelligence: A Compendium 2008: 233-306
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJair Minoro Abe, Kazumi Nakamatsu, Seiki Akama: Two Applications of Paraconsistent Logical Controller. New Directions in Intelligent Interactive Multimedia 2008: 249-254
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: Paraconsistent Before-After Relation Reasoning Based on EVALPSN. New Directions in Intelligent Interactive Multimedia 2008: 265-274
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeiki Akama, Kazumi Nakamatsu, Jair Minoro Abe: Constructive Logic and the Sorites Paradox. New Directions in Intelligent Interactive Multimedia 2008: 285-292
2007
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeiki Akama, Kazumi Nakamatsu, Jair Minoro Abe: A Natural Deduction System for Annotated Predicate Logic. KES (2) 2007: 861-868
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama: An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. KES (2) 2007: 869-876
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJair Minoro Abe, Seiki Akama, Kazumi Nakamatsu: Monadic Curry Algebras Q tau. KES (2) 2007: 893-900
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJair Minoro Abe, Kazumi Nakamatsu: Manipulating Paraconsistent Knowledge in Multi-agent Systems. KES-AMSTA 2007: 159-168
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu: Intelligent process order control based on a paraconsistent logic program : An introduction. SMC 2007: 2278-2283
2006
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu: A Defeasible Deontic Model for Intelligent Simulation. Computer Supported Acitivity Coordination 2006: 35-44
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJair Minoro Abe, João Carlos Almeida Prado, Kazumi Nakamatsu: Paraconsistent Artificial Neural Network: Applicability in Computer Analysis of Speech Productions. KES (2) 2006: 844-850
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJair Minoro Abe, Cláudio Rodrigo Torres, Germano Lambert-Torres, Kazumi Nakamatsu, Michiro Kondo: Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II. KES (2) 2006: 851-857
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe: EVALPSN Based Intelligent Drivers' Model. KES (2) 2006: 858-865
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe: Logic Determined by Boolean Algebras with Conjugate. KES (2) 2006: 871-878
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu: Pipeline Valve Control Based on EVALPSN Safety Verification. JACIII 10(5): 647-656 (2006)
2005
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Jair Minoro Abe: Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005 IOS Press 2005
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Seiki Akama, Jair Minoro Abe: An Intelligent Safety Verification Based on a Paraconsistent Logic Program. KES (2) 2005: 708-715
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJair Minoro Abe, Kazumi Nakamatsu, Seiki Akama: Non-alethic Reasoning in Distributed Systems. KES (2) 2005: 724-731
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Scalzitti, Kazumi Nakamatsu, Jair Minoro Abe: Digital Images: Weighted Automata Theoretical Aspects. LAPTEC 2005: 113-119
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Atsuyuki Suzuki: Autoepistemic Theory and Paraconsistent Logic Program. LAPTEC 2005: 177-184
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I. LAPTEC 2005: 185-191
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II. LAPTEC 2005: 192-198
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III. LAPTEC 2005: 199-206
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Atsuyuki Suzuki: Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV. LAPTEC 2005: 207-215
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJair Minoro Abe, Kazumi Nakamatsu: A Note on Non-Alethic Temporal Logics. LAPTEC 2005: 216-219
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Jair Minoro Abe: Railway Signal and Paraconsistency. LAPTEC 2005: 220-225
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki: Intelligent Safety Verification for Pipeline Based on EVALPSN. LAPTEC 2005: 63-70
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki: A Discrete Event Control Based on EVALPSN Stable Model. LAPTEC 2005: 71-78
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki: An EVALP Based Traffic Simulation System. LAPTEC 2005: 79-86
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki: A Discrete Event Control Based on EVALPSN Stable Model Computation. RSFDGrC (1) 2005: 671-681
2004
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki: A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. KES 2004: 954-960
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki: EVALPSN Based Railway Interlocking Simulator. KES 2004: 961-967
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki: A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. HIS 2002: 775-784
2001
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki: Annotated Semantics for Defeasible Deontic Reasoning. Rough Sets and Current Trends in Computing 2000: 470-478
1997
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazumi 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

1Jair Minoro Abe [2] [3] [4] [5] [13] [14] [20] [21] [22] [23] [25] [26] [27] [28] [31] [32] [33] [34] [35] [36] [37] [39] [40] [41] [42] [43]
2Seiki Akama [21] [22] [32] [33] [34] [35] [36] [37] [39] [41] [43]
3Fábio Romeu de Carvalho [42]
4Sheng-Luen Chung [6] [9]
5Ryuji Ishikawa [8] [10]
6Kenji Kawasumi [12]
7Yosuke Kiuchi [7]
8Hayato Komaba [6] [9] [11]
9Michiro Kondo [25] [26] [27]
10Germano Lambert-Torres [27]
11Chung-Lun Lie [6]
12Helder F. S. Lopes [40]
13João Carlos Almeida Prado [28]
14Alexandre Scalzitti [20]
15Toshiaki Seno [5]
16Atsuyuki Suzuki [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15] [16] [17] [18] [19]
17Cláudio Rodrigo Torres [27]

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)