|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (1) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I, pp. 671-681, 2005, Springer, 3-540-28653-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Directions in Intelligent Interactive Multimedia ![In: New Directions in Intelligent Interactive Multimedia, pp. 265-274, 2008, Springer, 978-3-540-68126-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 310-315, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II, pp. 474-482, 2008, Springer, 978-3-540-85564-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 954-960, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based and Intelligent Information and Engineering Systems, 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part II, pp. 380-387, 2009, Springer, 978-3-642-04591-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 869-876, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part II, pp. 858-865, 2006, Springer, 3-540-46537-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 961-967, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 719-723, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II, pp. 708-715, 2005, Springer, 3-540-28895-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers, pp. 470-478, 2000, Springer, 3-540-43074-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Approaches in Intelligent Control ![In: New Approaches in Intelligent Control - Techniques, Methodologies and Applications, pp. 337-401, 2016, Springer, 978-3-319-32166-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
Paraconsistent Annotated Logic Program EVALPSN and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 39-85, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDT/IIMSS/STET ![In: Smart Digital Futures 2014, Proceedings of Three KES Conferences: Intelligent Decision Technologies (KES-IDT-14), Intelligent Interactive Multimedia Systems and Services (KES-IIMSS-14), and Smart Technology-based Education and Training (KES-STET-14), Chania, Crete, Greece, 18-20 June 2014, pp. 248-257, 2014, IOS Press, 978-1-61499-404-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Knowl. Based Intell. Eng. Syst. ![In: Int. J. Knowl. Based Intell. Eng. Syst. 15(3), pp. 145-163, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu, Toshiaki Imai, Haruhiko Nishimura |
Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIIDS (1) ![In: Intelligent Information and Database Systems - Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part I, pp. 496-505, 2011, Springer, 978-3-642-20038-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev |
Introduction to Intelligent Elevator Control Based on EVALPSN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III, pp. 133-142, 2010, Springer, 978-3-642-15392-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu, Jair Minoro Abe, Takashi Watanabe 0001 |
Introduction to Intelligent Network Routing Based on EVALPSN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III, pp. 123-132, 2010, Springer, 978-3-642-15392-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu |
Paraconsistent Annotated Logic Program Before-after EVALPSN and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Computational Intelligence (2) ![In: Foundations of Computational Intelligence - Volume 2: Approximate Reasoning, pp. 75-108, 2009, Springer, 978-3-642-01532-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, 12th International Conference, RSFDGrC 2009, Delhi, India, December 15-18, 2009. Proceedings, pp. 135-143, 2009, Springer, 978-3-642-10645-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu |
The Paraconsistent Annotated Logic Program EVALPSN and its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence: A Compendium ![In: Computational Intelligence: A Compendium, pp. 233-306, 2008, Springer, 978-3-540-78292-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Kazumi Nakamatsu |
Pipeline Valve Control Based on EVALPSN Safety Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Adv. Comput. Intell. Intell. Informatics ![In: J. Adv. Comput. Intell. Intell. Informatics 10(5), pp. 647-656, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Sheng-Luen Chung, Yen-Hung Lai |
EVALPSN-Based Process Control in Brewery Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAPTEC ![In: Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005, pp. 50-54, 2005, IOS Press, 978-1-58603-568-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
30 | Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki |
Intelligent Safety Verification for Pipeline Based on EVALPSN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAPTEC ![In: Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005, pp. 63-70, 2005, IOS Press, 978-1-58603-568-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
30 | Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki |
A Discrete Event Control Based on EVALPSN Stable Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAPTEC ![In: Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005, pp. 71-78, 2005, IOS Press, 978-1-58603-568-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Kazumi Nakamatsu |
Intelligent process order control based on a paraconsistent logic program : An introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 2278-2283, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|