{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:10:53Z","timestamp":1725541853244},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106453"},{"type":"electronic","value":"9783642106460"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10646-0_16","type":"book-chapter","created":{"date-parts":[[2009,12,14]],"date-time":"2009-12-14T23:25:55Z","timestamp":1260833155000},"page":"135-143","source":"Crossref","is-referenced-by-count":0,"title":["A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN"],"prefix":"10.1007","author":[{"given":"Kazumi","family":"Nakamatsu","sequence":"first","affiliation":[]},{"given":"Jair Minoro","family":"Abe","sequence":"additional","affiliation":[]},{"given":"Seiki","family":"Akama","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"Allen, J.F.: Towards a General Theory of Action and Time. Artificial Intelligence\u00a023, 123\u2013154 (1984)","journal-title":"Artificial Intelligence"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"J.F. Allen","year":"1994","unstructured":"Allen, J.F., Ferguson, G.: Actions and Events in Interval Temporal Logic. J. Logic and Computation\u00a04, 531\u2013579 (1994)","journal-title":"J. Logic and Computation"},{"key":"16_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":"16_CR4","doi-asserted-by":"crossref","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. JACIII\u00a010, 647\u2013656 (2006)","journal-title":"JACIII"},{"key":"16_CR5","doi-asserted-by":"crossref","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":"16_CR6","series-title":"Studies in Computational Intelligence","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-540-68127-4_28","volume-title":"Paraconsistent Before-after Relation Reasoning Based on EVALPSN","author":"K. Nakamatsu","year":"2008","unstructured":"Nakamatsu, K., Abe, J.M., Akama, S.: Paraconsistent Before-after Relation Reasoning Based on EVALPSN. Studies in Computational Intelligence, vol.\u00a0142, pp. 265\u2013274. Springer, Heidelberg (2008)"},{"key":"16_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/978-3-540-85565-1_59","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"K. Nakamatsu","year":"2008","unstructured":"Nakamatsu, K., Akama, S., Abe, J.M.: Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. In: Lovrek, I., Howlett, R.J., Jain, L.C. (eds.) KES 2008, Part II. LNCS (LNAI), vol.\u00a05178, pp. 474\u2013482. Springer, Heidelberg (2008)"},{"key":"16_CR8","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. Intl. J. Reasoning-based Intelligent Systems\u00a01, 92\u2013110 (2009)","journal-title":"Intl. J. Reasoning-based Intelligent Systems"}],"container-title":["Lecture Notes in Computer Science","Rough Sets, Fuzzy Sets, Data Mining and Granular Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10646-0_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:37:18Z","timestamp":1619782638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10646-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106453","9783642106460"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10646-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}