{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:54:52Z","timestamp":1773939292127,"version":"3.50.1"},"reference-count":52,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2018,9,7]],"date-time":"2018-09-07T00:00:00Z","timestamp":1536278400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Austrian Science Fund","award":["P25521-N23 and Y698-N23"],"award-info":[{"award-number":["P25521-N23 and Y698-N23"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. ACM"],"published-print":{"date-parts":[[2018,10,31]]},"abstract":"<jats:p>\n            In artificial intelligence, a key question concerns how an agent may rationally revise its beliefs in light of new information. The standard (AGM) approach to belief revision assumes that the underlying logic contains classical propositional logic. This is a significant limitation, since many representation schemes in AI don\u2019t subsume propositional logic. In this article, we consider the question of what the minimal requirements are on a logic, such that the AGM approach to revision may be formulated. We show that AGM-style revision can be obtained even when extremely little is assumed of the underlying language and its semantics; in fact, one requires little more than a language with sentences that are satisfied at models, or possible worlds. The classical AGM postulates are expressed in this framework and a representation result is established between the postulate set and certain preorders on possible worlds. To obtain the representation result, we add a new postulate to the AGM postulates, and we add a constraint to preorders on worlds. Crucially, both of these additions are redundant in the original AGM framework, and so we\n            <jats:italic>extend<\/jats:italic>\n            , rather than\n            <jats:italic>modify<\/jats:italic>\n            , the AGM approach. As well, iterated revision is addressed and the Darwiche\/Pearl postulates are shown to be compatible with our approach. Various examples are given to illustrate the approach, including Horn clause revision, revision in extended logic programs, and belief revision in a very basic logic called\n            <jats:italic>literal revision<\/jats:italic>\n            .\n          <\/jats:p>","DOI":"10.1145\/3203409","type":"journal-article","created":{"date-parts":[[2018,9,7]],"date-time":"2018-09-07T12:51:06Z","timestamp":1536324666000},"page":"1-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["General Belief Revision"],"prefix":"10.1145","volume":"65","author":[{"given":"James P.","family":"Delgrande","sequence":"first","affiliation":[{"name":"Simon Fraser University, Burnaby, B.C., Canada"}]},{"given":"Pavlos","family":"Peppas","sequence":"additional","affiliation":[{"name":"University of Patras and University of Technology Sydney, NSW, Australia"}]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Wien, Vienna, Austria"}]}],"member":"320","published-online":{"date-parts":[[2018,9,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"e_1_2_1_2_1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"Anderson A.R.","year":"1975","unstructured":"A.R. Anderson and N.D. Belnap Jr . 1975 . Entailment: The Logic of Relevance and Necessity , Vol. I . Princeton University Press , Princeton . A.R. Anderson and N.D. Belnap Jr. 1975. Entailment: The Logic of Relevance and Necessity, Vol. I. Princeton University Press, Princeton."},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"F. Baader D. Calvanese D. McGuiness D. Nardi and P. Patel-Schneider (Eds.). 2007. The Description Logic Handbook (2nd ed.). Cambridge University Press Cambridge.   F. Baader D. Calvanese D. McGuiness D. Nardi and P. Patel-Schneider (Eds.). 2007. The Description Logic Handbook (2nd ed.). Cambridge University Press Cambridge.","DOI":"10.1017\/CBO9780511711787"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI\u201915)","author":"Baumann R.","unstructured":"R. Baumann and G. Brewka . 2015. AGM meets abstract argumentation: expansion and revision for dung frameworks . In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI\u201915) . AAAI Press, 2734--2740. R. Baumann and G. Brewka. 2015. AGM meets abstract argumentation: expansion and revision for dung frameworks. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI\u201915). AAAI Press, 2734--2740."},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning, P. Doherty, J. Mylopoulos, and C. Welty (Eds.).","author":"Ben-Naim Jonathan","year":"2006","unstructured":"Jonathan Ben-Naim . 2006 . Lack of finite characterizations for the distance-based revision . In Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning, P. Doherty, J. Mylopoulos, and C. Welty (Eds.). Jonathan Ben-Naim. 2006. Lack of finite characterizations for the distance-based revision. In Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning, P. Doherty, J. Mylopoulos, and C. Welty (Eds.)."},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence. 702--707","author":"Booth R.","unstructured":"R. Booth , T. Meyer , and I.J. Varzinczak . 2009. Next steps in propositional horn contraction . In Proceedings of the International Joint Conference on Artificial Intelligence. 702--707 . R. Booth, T. Meyer, and I.J. Varzinczak. 2009. Next steps in propositional horn contraction. In Proceedings of the International Joint Conference on Artificial Intelligence. 702--707."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2208436.2208438"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence. 519--531","author":"Boutilier C.","year":"1993","unstructured":"C. Boutilier . 1993 . Revision sequences and nested conditionals . In Proceedings of the International Joint Conference on Artificial Intelligence. 519--531 . C. Boutilier. 1993. Revision sequences and nested conditionals. In Proceedings of the International Joint Conference on Artificial Intelligence. 519--531."},{"key":"e_1_2_1_9_1","first-page":"262","article-title":"Iterated revision and minimal change of conditional beliefs","volume":"25","author":"Boutilier C.","year":"1996","unstructured":"C. Boutilier . 1996 . Iterated revision and minimal change of conditional beliefs . Journal of Logic and Computation 25 (1996), 262 -- 305 . C. Boutilier. 1996. Iterated revision and minimal change of conditional beliefs. Journal of Logic and Computation 25 (1996), 262--305.","journal-title":"Journal of Logic and Computation"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the European Conference on Artificial Intelligence. IOS Press, 734--742","author":"Brewka Gerhard","year":"2016","unstructured":"Gerhard Brewka , Jean-Guy Mailly , and Stefan Woltran . 2016 . Translation-based revision and merging for minimal horn reasoning . In Proceedings of the European Conference on Artificial Intelligence. IOS Press, 734--742 . Gerhard Brewka, Jean-Guy Mailly, and Stefan Woltran. 2016. Translation-based revision and merging for minimal horn reasoning. In Proceedings of the European Conference on Artificial Intelligence. IOS Press, 734--742."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068407003110"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning, Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter (Eds.). AAAI Press, 72--81","author":"Coste-Marquis S.","unstructured":"S. Coste-Marquis , S. Konieczny , J.-G. Mailly , and P. Marquis . 2014. On the revision of argumentation systems: Minimal change of arguments statuses . In Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning, Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter (Eds.). AAAI Press, 72--81 . S. Coste-Marquis, S. Konieczny, J.-G. Mailly, and P. Marquis. 2014. On the revision of argumentation systems: Minimal change of arguments statuses. In Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning, Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter (Eds.). AAAI Press, 72--81."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.08.002"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(96)00038-0"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning, G. Brewka and J. Lang (Eds.). AAAI Press","author":"Delgrande J. P.","year":"2008","unstructured":"J. P. Delgrande . 2008 . Horn clause belief change: Contraction functions . In Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning, G. Brewka and J. Lang (Eds.). AAAI Press , Sydney, Australia, 156--165. J. P. Delgrande. 2008. Horn clause belief change: Contraction functions. In Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning, G. Brewka and J. Lang (Eds.). AAAI Press, Sydney, Australia, 156--165."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence. 839--844","author":"Delgrande J. P.","unstructured":"J. P. Delgrande and P. Peppas . 2011. Revising horn theories . In Proceedings of the International Joint Conference on Artificial Intelligence. 839--844 . J. P. Delgrande and P. Peppas. 2011. Revising horn theories. In Proceedings of the International Joint Conference on Artificial Intelligence. 839--844."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.08.006"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40564-8_27"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591248.2591259"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2017.11.013"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI\u201905)","author":"Eiter T.","unstructured":"T. Eiter , H. Tompits , and S. Woltran . 2005. On solution correspondences in answer set programming . In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI\u201905) . 97--102. T. Eiter, H. Tompits, and S. Woltran. 2005. On solution correspondences in answer set programming. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI\u201905). 97--102."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308080246"},{"key":"e_1_2_1_25_1","volume-title":"Knowledge in Flux: Modelling the Dynamics of Epistemic States","author":"G\u00e4rdenfors P.","unstructured":"P. G\u00e4rdenfors . 1988. Knowledge in Flux: Modelling the Dynamics of Epistemic States . The MIT Press, Cambridge , MA. P. G\u00e4rdenfors. 1988. Knowledge in Flux: Modelling the Dynamics of Epistemic States. The MIT Press, Cambridge, MA."},{"key":"e_1_2_1_26_1","doi-asserted-by":"crossref","unstructured":"M. Gebser R. Kaminski B. Kaufmann and T. Schaub. 2012. Answer Set Solving in Practice. Morgan 8 Claypool Publishers.   M. Gebser R. Kaminski B. Kaufmann and T. Schaub. 2012. Answer Set Solving in Practice. Morgan 8 Claypool Publishers.","DOI":"10.1007\/978-3-031-01561-8"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 5th International Conference and Symposium of Logic Programming (ICLP\u201988)","author":"Gelfond M.","unstructured":"M. Gelfond and V. Lifschitz . 1988. The stable model semantics for logic programming . In Proceedings of the 5th International Conference and Symposium of Logic Programming (ICLP\u201988) , R. Kowalski and K. Bowen (Eds.). The MIT Press, 1070--1080. M. Gelfond and V. Lifschitz. 1988. The stable model semantics for logic programming. In Proceedings of the 5th International Conference and Symposium of Logic Programming (ICLP\u201988), R. Kowalski and K. Bowen (Eds.). The MIT Press, 1070--1080."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00247909"},{"key":"e_1_2_1_29_1","volume-title":"A Textbook of Belief Dynamics","author":"Hansson S. O.","unstructured":"S. O. Hansson . 1999. A Textbook of Belief Dynamics . Kluwer Academic Publishers . S. O. Hansson. 1999. A Textbook of Belief Dynamics. Kluwer Academic Publishers."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90069-V"},{"key":"e_1_2_1_31_1","doi-asserted-by":"crossref","unstructured":"H. Katsuno and A. Mendelzon. 1992. On the difference between updating a knowledge base and revising it. In Belief Revision P. G\u00e4rdenfors (Ed.). Cambridge University Press Cambridge 183--203.  H. Katsuno and A. Mendelzon. 1992. On the difference between updating a knowledge base and revising it. In Belief Revision P. G\u00e4rdenfors (Ed.). Cambridge University Press Cambridge 183--203.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.2307\/2694923"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the 6th International Conference on the Principles of Knowledge Representation and Reasoning, A. Cohn, L. Schubert, and S. Shapiro (Eds.). Morgan Kaufmann Publishers, 14--23","author":"Levesque H.J.","year":"1998","unstructured":"H.J. Levesque . 1998 . A completeness result for reasoning with incomplete first-order knowledge bases . In Proceedings of the 6th International Conference on the Principles of Knowledge Representation and Reasoning, A. Cohn, L. Schubert, and S. Shapiro (Eds.). Morgan Kaufmann Publishers, 14--23 . H.J. Levesque. 1998. A completeness result for reasoning with incomplete first-order knowledge bases. In Proceedings of the 6th International Conference on the Principles of Knowledge Representation and Reasoning, A. Cohn, L. Schubert, and S. Shapiro (Eds.). Morgan Kaufmann Publishers, 14--23."},{"key":"e_1_2_1_35_1","volume-title":"Harvard University Press","author":"Lewis D.","unstructured":"D. Lewis . 1973. Counterfactuals. Harvard University Press , Cambridge, MA . D. Lewis. 1973. Counterfactuals. Harvard University Press, Cambridge, MA."},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the 12th European Conference on Artificial Intelligence (ECAI\u201996)","author":"Peppas P.","year":"1996","unstructured":"P. Peppas . 1996 . Well behaved and multiple belief revision . In Proceedings of the 12th European Conference on Artificial Intelligence (ECAI\u201996) . Wiley, 90--94. P. Peppas. 1996. Well behaved and multiple belief revision. In Proceedings of the 12th European Conference on Artificial Intelligence (ECAI\u201996). Wiley, 90--94."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.3.355"},{"key":"e_1_2_1_38_1","volume-title":"Handbook of Knowledge Representation","author":"Peppas P.","unstructured":"P. Peppas . 2008. Belief revision . In Handbook of Knowledge Representation , F. van Harmelen, V. Lifschitz, and B. Porter (Eds.). Elsevier Science , San Diego , 317--359. P. Peppas. 2008. Belief revision. In Handbook of Knowledge Representation, F. van Harmelen, V. Lifschitz, and B. Porter (Eds.). Elsevier Science, San Diego, 317--359."},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the 1st World Congress in the Fundamentals of Artificial Intelligence.","author":"Restall G.","unstructured":"G. Restall and J. K. Slaney . 1995. Realistic belief revision . In Proceedings of the 1st World Congress in the Fundamentals of Artificial Intelligence. G. Restall and J. K. Slaney. 1995. Realistic belief revision. In Proceedings of the 1st World Congress in the Fundamentals of Artificial Intelligence."},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Press","author":"Ribeiro M.","unstructured":"M. Ribeiro and R. Wassermann . 2014. Minimal change in AGM revision for non-classical logics . In Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Press , Vienna, Austria, 657--660. M. Ribeiro and R. Wassermann. 2014. Minimal change in AGM revision for non-classical logics. In Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Press, Vienna, Austria, 657--660."},{"key":"e_1_2_1_41_1","volume-title":"Coherent Systems","author":"Schlechta Karl","unstructured":"Karl Schlechta . 2004. Coherent Systems . Elsevier , Amsterdam . Karl Schlechta. 2004. Coherent Systems. Elsevier, Amsterdam."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40564-8_48"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/226643.226644"},{"key":"e_1_2_1_44_1","volume-title":"Logic, Semantics, Metamathematics. Papers from 1923 to","author":"Tarski A.","year":"1938","unstructured":"A. Tarski . 1936. On some fundamental concepts of metamathematics {1930} . In Logic, Semantics, Metamathematics. Papers from 1923 to 1938 . Clarendon Press , Oxford , 30--36. A. Tarski. 1936. On some fundamental concepts of metamathematics {1930}. In Logic, Semantics, Metamathematics. Papers from 1923 to 1938. Clarendon Press, Oxford, 30--36."},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001819"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9178-2"},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA 2015)","author":"Yaggie Jon","year":"2015","unstructured":"Jon Yaggie and Gy\u00f6rgy Tur\u00e1n . 2015 . Characterizability in horn belief revision: An application of finite model theory . In Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA 2015) (Lecture Notes in Artificial Intelligence), Loizos Michael and Antonis C. Kakas (Eds.). Springer Verlag, 497--511. Jon Yaggie and Gy\u00f6rgy Tur\u00e1n. 2015. Characterizability in horn belief revision: An application of finite model theory. In Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA 2015) (Lecture Notes in Artificial Intelligence), Loizos Michael and Antonis C. Kakas (Eds.). Springer Verlag, 497--511."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013356315540"},{"key":"e_1_2_1_49_1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Logics in Artificial Intelligence\u201412th European Conference (JELIA\u201910)","author":"Zhuang Z.","unstructured":"Z. Zhuang and Maurice Pagnucco . 2010. Horn contraction via epistemic entrenchment . In Logics in Artificial Intelligence\u201412th European Conference (JELIA\u201910) , Lecture Notes in Artificial Intelligence , T. Janhunen and I. Niemel\u00e4 (Eds.), Vol. 6341 . Springer Verlag , 339--351. Z. Zhuang and Maurice Pagnucco. 2010. Horn contraction via epistemic entrenchment. In Logics in Artificial Intelligence\u201412th European Conference (JELIA\u201910), Lecture Notes in Artificial Intelligence, T. Janhunen and I. Niemel\u00e4 (Eds.), Vol. 6341. Springer Verlag, 339--351."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence. 1132--1138","author":"Zhuang Z.","unstructured":"Z. Zhuang and M. Pagnucco . 2011. Transitively relational partial meet horn contraction . In Proceedings of the 22nd International Joint Conference on Artificial Intelligence. 1132--1138 . Z. Zhuang and M. Pagnucco. 2011. Transitively relational partial meet horn contraction. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence. 1132--1138."},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning","author":"Zhuang Z.","unstructured":"Z. Zhuang and M. Pagnucco . 2012. Model based horn contraction . In Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning . Rome, Italy, 169--178. Z. Zhuang and M. Pagnucco. 2012. Model based horn contraction. In Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning. Rome, Italy, 169--178."},{"key":"e_1_2_1_52_1","volume-title":"Proceedings of the 23rd International Joint Conference on Artificial Intelligence. 1205--1211","author":"Zhuang Z.","unstructured":"Z. Zhuang , M. Pagnucco , and Y. Zhang . 2013. Definability of horn revision from horn contraction . In Proceedings of the 23rd International Joint Conference on Artificial Intelligence. 1205--1211 . Z. Zhuang, M. Pagnucco, and Y. Zhang. 2013. Definability of horn revision from horn contraction. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence. 1205--1211."}],"container-title":["Journal of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3203409","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3203409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:23Z","timestamp":1750210763000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3203409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,7]]},"references-count":52,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2018,10,31]]}},"alternative-id":["10.1145\/3203409"],"URL":"https:\/\/doi.org\/10.1145\/3203409","relation":{},"ISSN":["0004-5411","1557-735X"],"issn-type":[{"value":"0004-5411","type":"print"},{"value":"1557-735X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9,7]]},"assertion":[{"value":"2016-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}