{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T04:01:28Z","timestamp":1749096088467,"version":"3.41.0"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319404172"},{"type":"electronic","value":"9783319404189"}],"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-40418-9_7","type":"book-chapter","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T12:57:30Z","timestamp":1469105850000},"page":"103-164","source":"Crossref","is-referenced-by-count":0,"title":["Programming with Annotated Logics"],"prefix":"10.1007","author":[{"given":"Kazumi","family":"Nakamatsu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seiki","family":"Akama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,22]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-17912-4","volume-title":"Introduction to Annotated Logics","author":"JM Abe","year":"2015","unstructured":"Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2015)"},{"key":"7_CR2","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":"7_CR3","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":"7_CR4","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":"7_CR5","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":"7_CR6","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":"7_CR7","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":"7_CR8","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. Theor. Comput. Sci. 68, 135\u2013154 (1989)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logics P $${\\cal T}$$ . Zeitschrift f\u00fcr Mathematische Logic und Grundlangen der Mathematik 37, 139\u2013148 (1989)","DOI":"10.1002\/malq.19910370903"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Dressler, O.: An extended basic ATMS, In: Reinfrank, M., et al. (eds.) 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":"7_CR11","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":"7_CR12","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":"7_CR13","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). Studia Logica 24, 143\u2013157 (1948)","journal-title":"Studia Logica"},{"key":"7_CR14","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":"7_CR15","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":"7_CR16","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":"7_CR17","unstructured":"Nakamatsu, K., Suzuki, A.: Annotated semantics for default reasoning. In: Dai, R. (ed.) Proceedings of 3rd Pacific Rim International Conference on Artificial Intelligence (PRICAI94), 15\u201318 August, Beijin, China, pp. 180\u2013186. International Academic Publishers, China (1994)"},{"key":"7_CR18","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":"7_CR19","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":"7_CR20","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki A.: Defeasible reasoning between conflicting agents based on VALPSN. In: Tessier, C., Chaudron, L. (eds.) Proceedings of AAAI Workshop Agents\u2019 Conflicts, 18 July, Orland, FL, pp. 20\u201327. AAAI Press, Menlo Park, CA (1999)"},{"key":"7_CR21","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, University of Newcastle, Sydney, Australia, pp. 114\u2013130 (1999)"},{"key":"7_CR22","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 Log. Philos. 8, 181\u2013205 (2000)","journal-title":"Logic Log. Philos."},{"key":"7_CR23","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, NY (2001)","DOI":"10.1063\/1.1388726"},{"key":"7_CR24","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":"7_CR25","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":"7_CR26","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 on System, Man and Cybernetics 02 (SMC02)","DOI":"10.1109\/ICSMC.2002.1176399"},{"key":"7_CR27","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, Netherlands (2002)"},{"key":"7_CR28","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), American Institute of Physics, New York, NY, pp. 490\u2013500 (2002)","DOI":"10.1063\/1.1503724"},{"key":"7_CR29","unstructured":"Nakamatsu, K., Mita, Y., Shibata, T.: Defeasible deontic action control based on paraconsistent logic program and its hardware application. In: Mohammadian, M. (ed.) 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":"7_CR30","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":"7_CR31","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 on 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":"7_CR32","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 of 8th International Conference Knowledge-Based Intelligent Information and Engineering Systems (KES2004), 20\u201325 September, Wellington, NewZealand, (Lecture Notes in Artificial Intelligence LNAI 3214), pp. 954\u2013960. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30133-2_126"},{"key":"7_CR33","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 - 3 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 - 3 September, Regina, Canada, (Lecture Notes in Artificial Intelligence LNAI 3641), pp. 671\u2013681. Springer, Berlin (2005)"},{"key":"7_CR34","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":"7_CR35","first-page":"63","volume-title":"Advances in Logic Based Intelligent Systems (Frontiers in Artificial Intelligence and Applications 132)","author":"K Nakamatsu","year":"2005","unstructured":"Nakamatsu, K., Kawasumi, K., Suzuki, A.: 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 (2005)"},{"key":"7_CR36","first-page":"177","volume-title":"Advances in Logic Based Intelligent Systems (Frontiers in Artificial Intelligence and Applications 132)","author":"K Nakamatsu","year":"2005","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":"7_CR37","first-page":"185","volume-title":"Advances in Logic Based Intelligent Systems (Frontiers in Artificial Intelligence and Applications 132)","author":"K Nakamatsu","year":"2005","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":"7_CR38","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."},{"key":"7_CR39","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":"7_CR40","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."},{"issue":"3","key":"7_CR41","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":"7_CR42","unstructured":"Nute, D.: Defeasible reasoning. In: Stohr, E.A., et al. (eds.) Proceedings of 20th Hawaii International Conference on System Science (HICSS87) 1, 6\u20139 January, Kailua-Kona, Hawaii, University of Hawaii, Hawaii, pp. 470\u2013477 (1987)"},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"Nute, D.: Basic defeasible logics. In: Farinas del Cerro, L., Penttonen, M. (eds.) Intensional Logics for Programming, pp. 125\u2013154. Oxford University Press, UK (1992)","DOI":"10.1093\/oso\/9780198537755.003.0005"},{"key":"7_CR44","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":"7_CR45","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-015-8851-5_12","volume-title":"Defeasible Deontic Logic, (Synthese Library 263)","author":"D Nute","year":"1997","unstructured":"Nute, D.: Apparent obligatory. In: Nute, D. (ed.) Defeasible Deontic Logic, (Synthese Library 263), pp. 287\u2013316. Kluwer Academic Publisher, Netherlands (1997)"},{"key":"7_CR46","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundation of Deductive Database and Logic Programs","author":"TC Przymusinski","year":"1988","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 (1988)"},{"key":"7_CR47","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":"7_CR48","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":"7_CR49","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":"7_CR50","unstructured":"Subrahmanian, V.S.: On the semantics of qualitative logic programs. In: Proceedings of the 1987 Symposium Logic Programming (SLP87), August 31\u2013September 4, pp. 173\u2013182. IEEE Computer Society Press, CA (1987)"},{"key":"7_CR51","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","Towards Paraconsistent Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40418-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T03:42:06Z","timestamp":1749008526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40418-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319404172","9783319404189"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40418-9_7","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"type":"print","value":"1868-4394"},{"type":"electronic","value":"1868-4408"}],"subject":[],"published":{"date-parts":[[2016]]}}}