{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:48:11Z","timestamp":1725857291547},"publisher-location":"Cham","reference-count":50,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319321660"},{"type":"electronic","value":"9783319321684"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-32168-4_11","type":"book-chapter","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T11:46:09Z","timestamp":1464867969000},"page":"337-401","source":"Crossref","is-referenced-by-count":1,"title":["Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control"],"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","published-online":{"date-parts":[[2016,6,3]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"JF Allen","year":"1984","unstructured":"Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23, 123\u2013154 (1984)","journal-title":"Artif. Intell."},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"JF Allen","year":"1994","unstructured":"Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. J. Logic Comput. 4, 531\u2013579 (1994)","journal-title":"J. Logic Comput."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundation of Deductive Database and Logic Programs, pp. 89\u2013148. Morgan Kaufmann, CA (1989)","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A useful four valued logic. In: Dunn, M., Epstein, G. (eds.) Modern uses of multiple-valued logic, pp. 8\u201337. D.Reidel Publishing, Netherlands (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1093\/logcom\/3.4.379","volume":"3","author":"D Billington","year":"1993","unstructured":"Billington, D.: Defeasible logic is stable. J. Logic Comput. 3, 379\u2013400 (1993)","journal-title":"J. Logic Comput."},{"key":"11_CR6","unstructured":"Billington, D.: Conflicting literals and defeasible logic. In: Nayak, A., Pagnucco, M. (eds.) Proceedings of 2nd Australian Workshop Commonsense Reasoning, 1 December, Perth, Australia, Australian Artificial Intelligence Institute, Australia, pp. 1\u201315 (1997)"},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"HA Blair","year":"1989","unstructured":"Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theoret. Comput. Sci. 68, 135\u2013154 (1989)","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1002\/malq.19910370903","volume":"37","author":"NCA Costa da","year":"1989","unstructured":"da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logics $$ {\\rm P}{\\mathcal{T}} $$ P T . Zeitschrift f\u00fcr Mathematische Logic und Grundlangen der Mathematik 37, 139\u2013148 (1989)","journal-title":"Zeitschrift f\u00fcr Mathematische Logic und Grundlangen der Mathematik"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Dressler, O.: An extended basic ATMS. In: Reinfrank, M. et al., (eds.) In: Proceedings of 2nd International Workshop on Non-monotonic Reasoning, 13\u201315 June, Grassau, Germany, (Lecture Notes in Computer Science LNCS 346), pp. 143\u2013163. Springer, Heidelberg (1988)","DOI":"10.1007\/3-540-50701-9_25"},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M Fitting","year":"1991","unstructured":"Fitting, M.: Bilattice and the semantics of logic programming. J. Logic Program. 11, 91\u2013116 (1991)","journal-title":"J. Logic Program."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38, 620\u2013650 (1991)","DOI":"10.1145\/116825.116838"},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF02134311","volume":"24","author":"S Jaskowski","year":"1948","unstructured":"Jaskowski, S.: Propositional calculus for contradictory deductive system (English translation of the original Polish paper). Stud. Logica. 24, 143\u2013157 (1948)","journal-title":"Stud. Logica."},{"key":"11_CR13","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M Kifer","year":"1992","unstructured":"Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. Logic Program. 12, 335\u2013368 (1992)","journal-title":"J. Logic Program."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"key":"11_CR15","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R Moore","year":"1985","unstructured":"Moore, R.: Semantical considerations on non-monotonic logic. Artif. Intell. 25, 75\u201394 (1985)","journal-title":"Artif. Intell."},{"key":"11_CR16","doi-asserted-by":"crossref","first-page":"181","DOI":"10.12775\/LLP.2000.010","volume":"8","author":"K Nakamatsu","year":"2000","unstructured":"Nakamatsu, K.: On the relation between vector annotated logic programs and defeasible theories. Logic Logical Philos. 8, 181\u2013205 (2000)","journal-title":"Logic Logical Philos."},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/978-3-540-78293-3_6","volume-title":"Computational Intelligence: A Compendium (Studies in Computational Intelligence 115)","author":"K Nakamatsu","year":"2008","unstructured":"Nakamatsu, K.: Paraconsistent annotated logic program EVALPSN and its application. In: Fulcher, J., Jain, C.L. (eds.) Computational Intelligence: A Compendium (Studies in Computational Intelligence 115), pp. 233\u2013306. Springer, Germany (2008)"},{"key":"11_CR18","unstructured":"Nakamatsu, K., Abe, J.M.: Reasonings based on vector annotated logic programs. In: Mohammadian, M. (ed.) Computational Intelligence for Modelling, Control and Automation (CIMCA99), (Concurrent Systems Engineering Series 55), pp. 396\u2013403. IOS Press, Netherlands (1999)"},{"key":"11_CR19","doi-asserted-by":"crossref","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. J. Reasoning-based Intell. Syst. 1, 92\u2013112 (2009)","journal-title":"Int. J. Reasoning-based Intell. Syst."},{"key":"11_CR20","unstructured":"Nakamatsu, K., Suzuki, A.: Annotated semantics for default reasoning. In: Dai, R. (ed.) Proceedings 3rd Pacific Rim International Conference on Artificial Intelligence (PRICAI94), 15\u201318 August, Beijing, China, pp. 180\u2013186. International Academic Publishers, China (1994)"},{"key":"11_CR21","first-page":"79","volume-title":"Agents and Multi-agents Systems (Lecture Notes in Artificial Intelligence LNAI 1441)","author":"K Nakamatsu","year":"1998","unstructured":"Nakamatsu, K., Suzuki, A.: A nonmonotonic ATMS based on annotated logic programs. In: Wobcke, W., et al. (eds.) Agents and Multi-agents Systems (Lecture Notes in Artificial Intelligence LNAI 1441), pp. 79\u201393. Springer, Berlin (1998)"},{"key":"11_CR22","unstructured":"Nakamatsu, K., Suzuki, A.: Autoepistemic theory and paraconsistent logic program. In: Nakamatsu, K., Abe, J.M. (eds.) Advances in Logic Based Intelligent Systems (Frontiers in Artificial Intelligence and Applications 132), pp. 177\u2013184. IOS Press, Netherlands (2005)"},{"key":"11_CR23","unstructured":"Nakamatsu, K., Suzuki, A.: Annotated semantics for non-monotonic reasonings in artificial intelligence\u2014I, II, III, IV. In: Nakamatsu, K., Abe, J.M.: (eds.) Advances in Logic Based Intelligent Systems (Frontiers in Artificial Intelligence and Applications 132), pp. 185\u2013215. IOS Press, Netherlands (2005)"},{"key":"11_CR24","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible reasoning between conflicting agents based on VALPSN. In: Tessier, C., Chaudron, L. (eds.) In: Proceedings of AAAI Workshop Agents\u2019 Conflicts, 18 July, Orland, FL, pp. 20\u201327. AAAI Press, Menlo Park, CA (1999)"},{"key":"11_CR25","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible reasoning based on VALPSN and its application. In: Nayak, A., Pagnucco, M. (eds.) Proceedings of the Third Australian Commonsense Reasoning Workshop, 7 December, Sydney, Australia, pp. 114\u2013130. University of Newcastle, Sydney, Australia (1999)"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: A defeasible deontic reasoning system based on annotated logic programming. In: Dubois, D.M. (ed.) Proceedings of 4th International Conference on Computing Anticipatory Systems(CASYS2000), 7\u201312 August, 2000, Liege, Belgium, (AIP Conference Proceedings 573), pp. 609\u2013620. American Institute of Physics, New York, NY (2001)","DOI":"10.1063\/1.1388726"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated semantics for defeasible deontic reasoning. In: Ziarko, W., Yao, Y. (eds.) Proceedings of 2nd International Conference on Rough Sets and Current Trends in Computing(RSCTC2000), 16\u201319 October, 2000, Banff, Canada, (Lecture Notes in Artificial Intelligence LNAI 2005), pp. 432\u2013440. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45554-X_58"},{"key":"11_CR28","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1007\/978-3-7908-1782-9_48","volume-title":"Hybrid Information Systems (Advances in Soft Computing Series)","author":"K Nakamatsu","year":"2002","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Extended vector annotated logic program and its application to robot action control and safety verification. In: Abraham, A., et al. (eds.) Hybrid Information Systems (Advances in Soft Computing Series), pp. 665\u2013680. Physica-Verlag, Heidelberg (2002)"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Nakamatsu, K., Suito, H., Abe, J.M., Suzuki, A.: Paraconsistent logic program based safety verification for air traffic control. In: El Kamel, A. et al., (eds.) Proceedings of IEEE International Conference System, Man and Cybernetics 02(SMC02), 6\u20139 October, Hammamet, Tunisia, IEEE SMC (CD-ROM) (2002)","DOI":"10.1109\/ICSMC.2002.1176399"},{"key":"11_CR30","first-page":"775","volume-title":"Soft Computing Systems (HIS02) (Frontiers in Artificial Intelligence and Applications 87)","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: Abraham, A., et al. (eds.) Soft Computing Systems (HIS02) (Frontiers in Artificial Intelligence and Applications 87), pp. 775\u2013784. IOS Press, The Netherlands (2002)"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible deontic robot control based on extended vector annotated logic programming. In: Dubois, D.M. (ed.) Proceedings of 5th International Conference on Computing Anticipatory Systems(CASYS2001) 13\u201318 August, 2001, Liege, Belgium, (AIP Conference Proceedings 627), pp. 490\u2013500. American Institute of Physics, New York, NY (2002)","DOI":"10.1063\/1.1503724"},{"key":"11_CR32","unstructured":"Nakamatsu, K., Mita, Y., Shibata, T.: Defeasible deontic action control based on paraconsistent logic program and its hardware application. In: Mohammadian, M. (ed.) In: Proceedings of International Conference on Computational Intelligence for Modelling Control and Automation 2003(CIMCA2003), 12\u201314 February, Vienna, Austria, IOS Press, Netherlands (CD-ROM) (2003)"},{"key":"11_CR33","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1007\/3-540-39205-X_124","volume-title":"Rough Sets, Fuzzy Sets, Data Mining and Granular Computing(RSFDGrC2003), 26\u201329 May, Chongqing, China, (Lecture Notes in Artificial Intelligence LNAI 2639)","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., et al. (eds.) Rough Sets, Fuzzy Sets, Data Mining and Granular Computing(RSFDGrC2003), 26\u201329 May, Chongqing, China, (Lecture Notes in Artificial Intelligence LNAI 2639), pp. 719\u2013723. Springer, Berlin (2003)"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Nakamatsu, K., Komaba, H., Suzuki, A.: Defeasible deontic control for discrete events based on EVALPSN. In: Tsumoto, S. et al., (eds.) Proceedings of 4th International Conference in Rough Sets and Current Trends in Computing(RSCTC2004), 1\u20135 June, Uppsala, Sweeden, (Lecture Notes in Artificial Intelligence LNAI 3066), pp. 310\u2013315. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-25929-9_36"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Nakamatsu, K., Ishikawa, R., Suzuki, A.: A paraconsistent based control for a discrete event cat and mouse. In: Negoita, M.G.H. et al., (eds.) Proceedings 8th International Conference on Knowledge-Based Intelligent Information and Engineering Systems(KES2004), 20\u201325 September, Wellington, New Zealand, (Lecture Notes in Artificial Intelligence LNAI 3214), pp. 954\u2013960. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30133-2_126"},{"key":"11_CR36","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1007\/11548669_69","volume-title":"Rough Sets, Fuzzy Sets, Data Mining and Granular Computing(RSFDGrC2005), 31 August\u20133 September, Regina, Canada, (Lecture Notes in Artificial Intelligence LNAI 3641)","author":"K Nakamatsu","year":"2005","unstructured":"Nakamatsu, K., Chung, S.-L., Komaba, H., Suzuki, A.: A discrete event control based on EVALPSN stable model. In: Slezak, D., et al. (eds.) Rough Sets, Fuzzy Sets, Data Mining and Granular Computing(RSFDGrC2005), 31 August\u20133 September, Regina, Canada, (Lecture Notes in Artificial Intelligence LNAI 3641), pp. 671\u2013681. Springer, Berlin (2005)"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Nakamatsu, K., Abe, J.M., Akama, S.: An intelligent safety verification based on a paraconsistent logic program. In: Khosla, R. et al., (eds.) Proceedings of 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems(KES2005), 14\u201316 September, Melbourne, Australia, (Lecture Notes in Artificial Intelligence LNAI 3682), pp. 708\u2013715. Springer, Berlin (2005)","DOI":"10.1007\/11552451_97"},{"key":"11_CR38","unstructured":"Nakamatsu, K., Kawasumi, K., Suzuki, A. (2005) Intelligent verification for pipeline based on EVALPSN. In: Nakamatsu, K., Abe, J.M. (eds.) Advances in Logic Based Intelligent Systems (Frontiers in Artificial Intelligence and Applications 132), pp. 63\u201370. IOS Press, Netherlands"},{"key":"11_CR39","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. Intell. Autom. Soft. Comput. 13, 289\u2013304 (2007)","journal-title":"J. Intell. Autom. Soft. Comput."},{"issue":"3","key":"11_CR40","first-page":"146","volume":"15","author":"K Nakamatsu","year":"2011","unstructured":"Nakamatsu, K., Abe, J.M., Akama, S.: A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN. KES J. 15(3), 146\u2013163 (2011)","journal-title":"KES J."},{"key":"11_CR41","unstructured":"Nute, D.: Defeasible reasoning. In: Stohr, E.A. et al., (eds.) Proceedings 20th Hawaii International Conference System Science(HICSS87) 1, 6\u20139 January, Kailua-Kona, Hawaii, pp. 470\u2013477. University of Hawaii, Hawaii (1987)"},{"key":"11_CR42","doi-asserted-by":"crossref","unstructured":"Nute, D.: Basic defeasible logics. In: del Cerro, L.F., Penttonen, M. (eds.) Intensional Logics for Programming, pp. 125\u2013154. Oxford University Press, UK (1992)","DOI":"10.1093\/oso\/9780198537755.003.0005"},{"key":"11_CR43","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1093\/oso\/9780198537472.003.0007","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming 3","author":"D Nute","year":"1994","unstructured":"Nute, D.: Defeasible logic. In: Gabbay, D.M., et al. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming 3, pp. 353\u2013396. Oxford University Press, UK (1994)"},{"key":"11_CR44","doi-asserted-by":"crossref","unstructured":"Nute, D.: Apparent obligatory. In: Nute, D. (ed.) Defeasible Deontic Logic (Synthese Library 263), pp. 287\u2013316. Kluwer Academic Publisher, Netherlands (1997)","DOI":"10.1007\/978-94-015-8851-5_12"},{"key":"11_CR45","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C.: On the declarative semantics of deductive databases and logic programs. In: Minker, J. (ed.) Foundation of Deductive Database and Logic Programs, pp. 193\u2013216. Morgan Kaufmann, New York, NY (1988)","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"11_CR46","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81\u2013123 (1980)","journal-title":"Artif. Intell."},{"key":"11_CR47","first-page":"356","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming 5","author":"JC Shepherdson","year":"1998","unstructured":"Shepherdson, J.C.: Negation as failure, completion and stratification. In: Gabbay, D.M., et al. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming 5, pp. 356\u2013419. Oxford University Press, UK (1998)"},{"key":"11_CR48","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"VS Subrahmanian","year":"1994","unstructured":"Subrahmanian, V.S.: Amalgamating knowledge bases. ACM Trans. Database Syst. 19, 291\u2013331 (1994)","journal-title":"ACM Trans. Database Syst."},{"key":"11_CR49","unstructured":"Subrahmanian, V.S.: On the semantics of qualitative logic programs. In: Proceedings of the 1987 Symposium on Logic Programming(SLP87), August 31\u2013September 4, IEEE Computer Society Press, San Francisco, CA, pp 173\u2013182 (1987)"},{"key":"11_CR50","first-page":"99","volume":"13","author":"A Visser","year":"1987","unstructured":"Visser, A.: Four valued semantics and the liar. J. Philos. Logic 13, 99\u2013112 (1987)","journal-title":"J. Philos. Logic"}],"container-title":["Intelligent Systems Reference Library","New Approaches in Intelligent Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32168-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T09:04:16Z","timestamp":1718615056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32168-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319321660","9783319321684"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32168-4_11","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"type":"print","value":"1868-4394"},{"type":"electronic","value":"1868-4408"}],"subject":[],"published":{"date-parts":[[2016]]}}}