|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 11 keywords
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
183 | Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki |
A Discrete Event Control Based on EVALPSN Stable Model Computation. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), control deadlock, paraconsistent logic program, stable model, discrete event control |
164 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
Paraconsistent Before-After Relation Reasoning Based on EVALPSN. |
New Directions in Intelligent Interactive Multimedia |
2008 |
DBLP DOI BibTeX RDF |
annotated logic program, bf-EVALPSN, before-after relation, paraconsistent reasoning system, EVALPSN |
161 | 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 |
DBLP DOI BibTeX RDF |
annotated logic program, discrete event systems, paraconsistent logic, EVALPSN, defeasible deontic reasoning |
142 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
process order control, bf-EVALPSN, before-after relation, paraconsistent reasoning system, EVALPSN |
110 | Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki |
A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. |
KES |
2004 |
DBLP DOI BibTeX RDF |
paraconsistent logic program, discrete event control, EVALPSN, defeasible deontic reasoning |
99 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN. |
KES (2) |
2009 |
DBLP DOI BibTeX RDF |
before-after relation, bf-EVALPSN, annotated logic program, anticipatory system, EVALPSN |
97 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. |
KES (2) |
2007 |
DBLP DOI BibTeX RDF |
EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), paraconsistent annotated logic program, traffic signal control, defeasible deontic reasoning |
97 | Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe |
EVALPSN Based Intelligent Drivers' Model. |
KES (2) |
2006 |
DBLP DOI BibTeX RDF |
EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), paraconsistent annotated logic program, intelligent traffic simulation, defeasible deontic reasoning |
97 | Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki |
EVALPSN Based Railway Interlocking Simulator. |
KES |
2004 |
DBLP DOI BibTeX RDF |
intelligent safety verification, annotated logic program, railway interlocking, EVALPSN, defeasible deontic reasoning |
94 | Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki |
Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. |
RSFDGrC |
2003 |
DBLP DOI BibTeX RDF |
paraconsistent logic program, intelligent control, traffic signal control, defeasible deontic reasoning |
88 | Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe |
An Intelligent Safety Verification Based on a Paraconsistent Logic Program. |
KES (2) |
2005 |
DBLP DOI BibTeX RDF |
EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), paraconsistent logic program, intelligent control, safety verification |
64 | Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki |
Annotated Semantics for Defeasible Deontic Reasoning. |
Rough Sets and Current Trends in Computing |
2000 |
DBLP DOI BibTeX RDF |
defeasible deontic logic, extended vector annotated logic program with strong negation, stable model, annotated logic |
30 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control. |
New Approaches in Intelligent Control |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
Paraconsistent Annotated Logic Program EVALPSN and Its Applications. |
Paraconsistent Intelligent-Based Systems |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Aapo Alasuutari, Kazumi Nakamatsu, Jair Minoro Abe |
A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN. |
IDT/IIMSS/STET |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN. |
Int. J. Knowl. Based Intell. Eng. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu, Toshiaki Imai, Haruhiko Nishimura |
Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN. |
ACIIDS (1) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev |
Introduction to Intelligent Elevator Control Based on EVALPSN. |
KES (3) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu, Jair Minoro Abe, Takashi Watanabe 0001 |
Introduction to Intelligent Network Routing Based on EVALPSN. |
KES (3) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu |
Paraconsistent Annotated Logic Program Before-after EVALPSN and Its Application. |
Foundations of Computational Intelligence (2) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. |
RSFDGrC |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu |
The Paraconsistent Annotated Logic Program EVALPSN and its Application. |
Computational Intelligence: A Compendium |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu |
Pipeline Valve Control Based on EVALPSN Safety Verification. |
J. Adv. Comput. Intell. Intell. Informatics |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Sheng-Luen Chung, Yen-Hung Lai |
EVALPSN-Based Process Control in Brewery Plants. |
LAPTEC |
2005 |
DBLP BibTeX RDF |
|
30 | Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki |
Intelligent Safety Verification for Pipeline Based on EVALPSN. |
LAPTEC |
2005 |
DBLP BibTeX RDF |
|
30 | Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki |
A Discrete Event Control Based on EVALPSN Stable Model. |
LAPTEC |
2005 |
DBLP BibTeX RDF |
|
21 | Kazumi Nakamatsu |
Intelligent process order control based on a paraconsistent logic program : An introduction. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|