{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:28:28Z","timestamp":1742974108718,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642200380"},{"type":"electronic","value":"9783642200397"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20039-7_50","type":"book-chapter","created":{"date-parts":[[2011,4,16]],"date-time":"2011-04-16T03:37:49Z","timestamp":1302925069000},"page":"496-505","source":"Crossref","is-referenced-by-count":0,"title":["Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN"],"prefix":"10.1007","author":[{"given":"Kazumi","family":"Nakamatsu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshiaki","family":"Imai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haruhiko","family":"Nishimura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"50_CR1","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H.A. Blair","year":"1989","unstructured":"Blair, H.A., Subrahmanian, V.S.: Paraconsistent Logic Programming. Theoretical Computer Science\u00a068, 135\u2013154 (1989)","journal-title":"Theoretical Computer Science"},{"key":"50_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1002\/malq.19910370903","volume":"37","author":"N.C.A. Costa da","year":"1989","unstructured":"da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The Paraconsistent Logics P\n                    \n                      \n                    \n                    ${\\cal T}$\n                  . Zeitschrift f\u00fcr Mathematische Logic und Grundlagen der Mathematik\u00a037, 139\u2013148 (1989)","journal-title":"Zeitschrift f\u00fcr Mathematische Logic und Grundlagen der Mathematik"},{"key":"50_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/3-540-45554-X_58","volume-title":"Rough Sets and Current Trends in Computing","author":"K. Nakamatsu","year":"2001","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated Semantics for Defeasible Deontic Reasoning. In: Ziarko, W.P., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol.\u00a02005, pp. 432\u2013440. Springer, Heidelberg (2001)"},{"key":"50_CR4","first-page":"775","volume-title":"Soft Computing Systems (HIS 2002), Frontiers in Artificial Intelligence and Applications","author":"K. Nakamatsu","year":"2002","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. In: Soft Computing Systems (HIS 2002), Frontiers in Artificial Intelligence and Applications, vol.\u00a087, pp. 775\u2013784. IOS Press, Amsterdam (2002)"},{"key":"50_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1007\/3-540-39205-X_124","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"K. Nakamatsu","year":"2003","unstructured":"Nakamatsu, K., Seno, T., Abe, J.M., Suzuki, A.: Intelligent Real-time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds.) RSFDGrC 2003. LNCS (LNAI), vol.\u00a02639, pp. 719\u2013723. Springer, Heidelberg (2003)"},{"key":"50_CR6","doi-asserted-by":"publisher","first-page":"647","DOI":"10.20965\/jaciii.2006.p0647","volume":"10","author":"K. Nakamatsu","year":"2006","unstructured":"Nakamatsu, K.: Pipeline Valve Control Based on EVALPSN Safety Verification. J. Advanced Computational Intelligence and Intelligent Informatics\u00a010, 647\u2013656 (2006)","journal-title":"J. Advanced Computational Intelligence and Intelligent Informatics"},{"key":"50_CR7","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1080\/10798587.2007.10642965","volume":"13","author":"K. Nakamatsu","year":"2007","unstructured":"Nakamatsu, K., Mita, Y., Shibata, T.: An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation. J. Intelligent Automation and Soft Computing\u00a013, 289\u2013304 (2007)","journal-title":"J. Intelligent Automation and Soft Computing"},{"key":"50_CR8","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-642-00909-9_35","volume-title":"New Advances in Intelligent Decision Technologies","author":"K. Nakamatsu","year":"2009","unstructured":"Nakamatsu, K., Imai, T., Abe, J.M., Akama, S.: An Introduction to Plausible Reasoning Based on EVALPSN. In: Nakamatsu, K., Phillips-Wren, G., Jain, L.C., Howlett, R.J. (eds.) New Advances in Intelligent Decision Technologies. Studies in Computational Intelligence, vol.\u00a0199, pp. 363\u2013372. Springer, Heidelberg (2009)"},{"key":"50_CR9","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1504\/IJRIS.2009.026721","volume":"1","author":"K. Nakamatsu","year":"2009","unstructured":"Nakamatsu, K., Abe, J.M.: The development of Paraconsistent Annotated Logic Program. Int\u2019l J. Reasoning-based Intelligent Systems\u00a01, 92\u2013112 (2009)","journal-title":"Int\u2019l J. Reasoning-based Intelligent Systems"},{"key":"50_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-15393-8_16","volume-title":"Knowledge-Based and Intelligent Information and Engineering Systems","author":"K. Nakamatsu","year":"2010","unstructured":"Nakamatsu, K., Abe, J.M., Akama, S., Kountchev, R.: Introduction to Intelligent Elevator Control Based on EVALPSN. In: Setchi, R., Jordanov, I., Howlett, R.J., Jain, L.C. (eds.) KES 2010. LNCS (LNAI), vol.\u00a06278, pp. 133\u2013142. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20039-7_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T23:42:31Z","timestamp":1558568551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20039-7_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642200380","9783642200397"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20039-7_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}