{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:42:45Z","timestamp":1725565365858},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221173"},{"type":"electronic","value":"9783540259299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25929-9_36","type":"book-chapter","created":{"date-parts":[[2010,9,11]],"date-time":"2010-09-11T01:25:47Z","timestamp":1284168347000},"page":"310-315","source":"Crossref","is-referenced-by-count":8,"title":["Defeasible Deontic Control for Discrete Events Based on EVALPSN"],"prefix":"10.1007","author":[{"given":"Kazumi","family":"Nakamatsu","sequence":"first","affiliation":[]},{"given":"Hayato","family":"Komaba","sequence":"additional","affiliation":[]},{"given":"Atsuyuki","family":"Suzuki","sequence":"additional","affiliation":[]},{"given":"Chung-Lun","family":"Lie","sequence":"additional","affiliation":[]},{"given":"Sheng-Luen","family":"Chung","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","first-page":"20","volume-title":"Proc. AAAI Workshop Agents\u2019 Conflicts","author":"K. Nakamatsu","year":"1999","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible Reasoning Between Conflicting Agents Based on VALPSN. In: Proc. AAAI Workshop Agents\u2019 Conflicts, pp. 20\u201327. AAAI Press, Menlo Park (1999)"},{"key":"36_CR2","first-page":"609","volume-title":"Computing Anticipatory Systems, CASYS 2000, AIP Conference Proceedings","author":"K. Nakamatsu","year":"2001","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: A Defeasible Deontic Reasoning System Based on Annotated Logic Programming. In: Computing Anticipatory Systems, CASYS 2000, AIP Conference Proceedings, vol.\u00a0573, pp. 609\u2013620. American Institute of Physics, New York (2001)"},{"key":"36_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":"36_CR4","first-page":"490","volume-title":"Computing Anticipatory Systems, CASYS 2001, AIP Conference Proceedings","author":"K. Nakamatsu","year":"2002","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible Deontic Robot Control Based on Extended Vector Annotated Logic Programming. In: Computing Anticipatory Systems, CASYS 2001, AIP Conference Proceedings, vol.\u00a0627, pp. 490\u2013500. American Institute of Physics, New York (2002)"},{"key":"36_CR5","first-page":"775","volume-title":"Soft Computing Systems, Frontiers in AI 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, Frontiers in AI Applications, vol.\u00a087, pp. 775\u2013784. IOS Press, Amsterdam (2002)"},{"key":"36_CR6","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 EVALP. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds.) RSFDGrC 2003. LNCS (LNAI), vol.\u00a02639, pp. 719\u2013723. Springer, Heidelberg (2003)"},{"key":"36_CR7","unstructured":"Nakamatsu, K., Mita, Y., Shibata, T., Abe, J.M.: Defeasible Deontic Action Control Based on Paraconsistent Logic Program and its Hardware Implementation. In: Proc. CIMCA 2003, CD-ROM (2003)"},{"volume-title":"Defeasible Deontic Reasoning, Synthese Library","year":"1997","key":"36_CR8","unstructured":"Nute, D. (ed.): Defeasible Deontic Reasoning, Synthese Library, vol.\u00a0263. Kluwer Academic Publishers, Dordrecht (1997)"},{"issue":"1","key":"36_CR9","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"J.G.P. Ramadge","year":"1989","unstructured":"Ramadge, J.G.P., Wonham, W.M.: The Control of Discrete Event Systems. Proc. IEEE\u00a077(1), 81\u201398 (1989)","journal-title":"Proc. IEEE"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Current Trends in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25929-9_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:16:41Z","timestamp":1620011801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25929-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221173","9783540259299"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25929-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}