{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:09Z","timestamp":1750221369642,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T00:00:00Z","timestamp":1531094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,9]]},"DOI":"10.1145\/3200947.3201038","type":"proceedings-article","created":{"date-parts":[[2018,7,6]],"date-time":"2018-07-06T19:30:44Z","timestamp":1530905444000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Iterated Belief Revision and Dalal's Operator"],"prefix":"10.1145","author":[{"given":"Theofanis I.","family":"Aravanis","sequence":"first","affiliation":[{"name":"University of Patras, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavlos","family":"Peppas","sequence":"additional","affiliation":[{"name":"University of Patras, Greece University of Technology Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mary-Anne","family":"Williams","sequence":"additional","affiliation":[{"name":"University of Technology Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3139367.3139387"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. 772--778","author":"Aravanis Theofanis","year":"2017","unstructured":"Theofanis Aravanis , Pavlos Peppas , and Mary-Anne Williams . 2017 . Epistemicentrenchment characterization of Parikh's axiom . In Proceedings of the 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. 772--778 . Theofanis Aravanis, Pavlos Peppas, and Mary-Anne Williams. 2017. Epistemicentrenchment characterization of Parikh's axiom. In Proceedings of the 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. 772--778."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 11th Pan-Hellenic Logic Symposium, PLS 2017","author":"Aravanis Theofanis I.","year":"2017","unstructured":"Theofanis I. Aravanis , Pavlos Peppas , and Mary-Anne Williams . 2017 . Epistemicentrenchment characterization of Parametrized Difference Revision Operators . In Proceedings of the 11th Pan-Hellenic Logic Symposium, PLS 2017 . Delphi, Greece, 202--208. Theofanis I. Aravanis, Pavlos Peppas, and Mary-Anne Williams. 2017. Epistemicentrenchment characterization of Parametrized Difference Revision Operators. In Proceedings of the 11th Pan-Hellenic Logic Symposium, PLS 2017. Delphi, Greece, 202--208."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/4879.4995"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of 7th National Conference of the American Association for Artificial Intelligence, AAAI","author":"Dalal Mukesh","year":"1988","unstructured":"Mukesh Dalal . 1988 . Investigations into theory of knowledge base revision: Preliminary report . In Proceedings of 7th National Conference of the American Association for Artificial Intelligence, AAAI 1988. 475--479. Mukesh Dalal. 1988. Investigations into theory of knowledge base revision: Preliminary report. In Proceedings of 7th National Conference of the American Association for Artificial Intelligence, AAAI 1988. 475--479."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(96)00038-0"},{"volume-title":"Knowledge in Flux - Modeling the Dynamics of Epistemic States","author":"G\u00e4rdenfors Peter","key":"e_1_3_2_1_8_1","unstructured":"Peter G\u00e4rdenfors . 1988. Knowledge in Flux - Modeling the Dynamics of Epistemic States . MIT Press , Cambridge, Massachusetts . Peter G\u00e4rdenfors. 1988. Knowledge in Flux - Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, Massachusetts."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge. Morgan Kaufmann","author":"G\u00e4rdenfors Peter","year":"1988","unstructured":"Peter G\u00e4rdenfors and David Makinson . 1988 . Revisions of knowledge systems using epistemic entrenchment . In Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge. Morgan Kaufmann , Pacific Grove, California, 83--95. Peter G\u00e4rdenfors and David Makinson. 1988. Revisions of knowledge systems using epistemic entrenchment. In Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge. Morgan Kaufmann, Pacific Grove, California, 83--95."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00247909"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005","author":"Jin Yi","year":"2005","unstructured":"Yi Jin and Michael Thielscher . 2005 . Iterated belief revision, revised . In Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005 . Edinburgh, 478--483. Yi Jin and Michael Thielscher. 2005. Iterated belief revision, revised. In Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005. Edinburgh, 478--483."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2006.11.002"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90069-V"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI 1995. Morgan Kaufmann Publishers Inc., Montreal, Quebec, 1534--1540","author":"Lehmann Daniel","year":"1995","unstructured":"Daniel Lehmann . 1995 . Belief revision, revised . In Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI 1995. Morgan Kaufmann Publishers Inc., Montreal, Quebec, 1534--1540 . Daniel Lehmann. 1995. Belief revision, revised. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI 1995. Morgan Kaufmann Publishers Inc., Montreal, Quebec, 1534--1540."},{"volume-title":"belief revision, and splitting languages","author":"Parikh Rohit","key":"e_1_3_2_1_15_1","unstructured":"Rohit Parikh . 1999. Beliefs , belief revision, and splitting languages . In Logic, Language and Computation, Lawrence S. Moss, Jonathan Ginzburg, and Maarten de Rijke (Eds.). Vol. 2 . CSLI Publications , 266--278. Rohit Parikh. 1999. Beliefs, belief revision, and splitting languages. In Logic, Language and Computation, Lawrence S. Moss, Jonathan Ginzburg, and Maarten de Rijke (Eds.). Vol. 2. CSLI Publications, 266--278."},{"volume-title":"Handbook of Knowledge Representation, Frank van Harmelen","author":"Peppas Pavlos","key":"e_1_3_2_1_16_1","unstructured":"Pavlos Peppas . 2008. Belief revision . In Handbook of Knowledge Representation, Frank van Harmelen , Vladimir Lifschitz, and Bruce Porter (Eds.). Elsevier Science , 317--359. Pavlos Peppas. 2008. Belief revision. In Handbook of Knowledge Representation, Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter (Eds.). Elsevier Science, 317--359."},{"volume-title":"David Makinson on Classical Methods for Non-Classical Problems, Sven O","author":"Peppas Pavlos","key":"e_1_3_2_1_17_1","unstructured":"Pavlos Peppas . 2014. A panorama of iterated revision . In David Makinson on Classical Methods for Non-Classical Problems, Sven O . Hansson (Ed.). Springer Netherlands , 71--94. Pavlos Peppas. 2014. A panorama of iterated revision. In David Makinson on Classical Methods for Non-Classical Problems, Sven O. Hansson (Ed.). Springer Netherlands, 71--94."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 18th European Conference on Artificial Intelligence, ECAI 2008. IOS Press","author":"Peppas Pavlos","year":"2008","unstructured":"Pavlos Peppas , Anastasios Michael Fotinopoulos , and Stella Seremetaki . 2008 . Conflicts between relevance-sensitive and iterated belief revision . In Proceedings of the 18th European Conference on Artificial Intelligence, ECAI 2008. IOS Press , Patras, Greece, 85--88. Pavlos Peppas, Anastasios Michael Fotinopoulos, and Stella Seremetaki. 2008. Conflicts between relevance-sensitive and iterated belief revision. In Proceedings of the 18th European Conference on Artificial Intelligence, ECAI 2008. IOS Press, Patras, Greece, 85--88."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48758-8_26"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.08.007"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the International Conference on Fifth Generation Computer Systems. Springer-Verlag","author":"Satoh Ken","year":"1988","unstructured":"Ken Satoh . 1988 . Nonmonotonic reasoning by minimal belief revision . In Proceedings of the International Conference on Fifth Generation Computer Systems. Springer-Verlag , Tokyo, 455--462. Ken Satoh. 1988. Nonmonotonic reasoning by minimal belief revision. In Proceedings of the International Conference on Fifth Generation Computer Systems. Springer-Verlag, Tokyo, 455--462."},{"volume-title":"Causation in Decision, Belief Change, and Statistics","author":"Spohn Wolfgang","key":"e_1_3_2_1_22_1","unstructured":"Wolfgang Spohn . 1988. Ordinal conditional functions: A dynamic theory of epistemic states . In Causation in Decision, Belief Change, and Statistics , William L. Harper and Brian Skyrms (Eds .). The University of Western Ontario Series in Philosophy of Science, Vol. 42. Springer Netherlands, 105--134. Wolfgang Spohn. 1988. Ordinal conditional functions: A dynamic theory of epistemic states. In Causation in Decision, Belief Change, and Statistics, William L. Harper and Brian Skyrms (Eds.). The University of Western Ontario Series in Philosophy of Science, Vol. 42. Springer Netherlands, 105--134."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 7th AAAI National Conference on Artificial Intelligence, AAAI","author":"Winslett Marianne","year":"1988","unstructured":"Marianne Winslett . 1988 . Reasoning about action using a possible models approach . In Proceedings of the 7th AAAI National Conference on Artificial Intelligence, AAAI 1988. 89--93. Marianne Winslett. 1988. Reasoning about action using a possible models approach. In Proceedings of the 7th AAAI National Conference on Artificial Intelligence, AAAI 1988. 89--93."}],"event":{"name":"SETN '18: 10th Hellenic Conference on Artificial Intelligence","sponsor":["EETN Hellenic Artificial Intelligence Society","UOP University of Patras","University of Thessaly University of Thessaly, Volos, Greece"],"location":"Patras Greece","acronym":"SETN '18"},"container-title":["Proceedings of the 10th Hellenic Conference on Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3200947.3201038","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3200947.3201038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:30Z","timestamp":1750213590000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3200947.3201038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,9]]},"references-count":23,"alternative-id":["10.1145\/3200947.3201038","10.1145\/3200947"],"URL":"https:\/\/doi.org\/10.1145\/3200947.3201038","relation":{},"subject":[],"published":{"date-parts":[[2018,7,9]]},"assertion":[{"value":"2018-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}