{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T07:04:12Z","timestamp":1763967852527},"reference-count":12,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,1,1]]},"DOI":"10.1305\/ndjfl\/1040308831","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:33:47Z","timestamp":1046208827000},"source":"Crossref","is-referenced-by-count":24,"title":["Constructive Modelings for Theory Change"],"prefix":"10.1215","volume":"36","author":[{"given":"Pavlos","family":"Peppas","sequence":"first","affiliation":[]},{"given":"Mary-Anne","family":"Williams","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Alchourron, C., P. G\u00e4rdenfors and D. Makinson, ``On the logic of theory change: Partial meet contraction and revision functions,'' <i>The Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 510--530.","DOI":"10.2307\/2274239"},{"key":"2","unstructured":"[2] G\u00e4rdenfors, P., <i>Knowledge in Flux: Modeling the Dynamics of Epistemic States<\/i>, MIT Press, Cambridge, 1988."},{"key":"3","unstructured":"[3] G\u00e4rdenfors, P. and D. Makinson, ``Revisions of knowledge systems using epistemic entrenchment,'' pp. 83--95 in <i>Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge<\/i>, edited by M. Y. Vardi, Morgan Kaufmann, Pacific Grove, 1988."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] G\u00e4rdenfors, P. and D. Makinson, ``Nonmonotonic inference based on expectations,'' <i>Artificial Intelligence<\/i>, vol. 65 (1994), pp. 197--245.","DOI":"10.1016\/0004-3702(94)90017-5"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Grove, A., ``Two modelings for theory change,'' <i>Journal of Philosophical Logic<\/i>, vol. 17 (1988), pp. 57--170.","DOI":"10.1007\/BF00247909"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Katsuno, H. and A. Mendelzon, ``Propositional knowledge base revision and minimal change,'' <i>Artificial Intelligence<\/i>, vol. 52 (1991), pp. 263--294.","DOI":"10.1016\/0004-3702(91)90069-V"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Katsuno, H. and A. Mendelzon, ``On the difference between updating a knowledge base and revising it,'' pp. 183--203 in <i>Belief Revision<\/i>, edited by P. G\u00e4rdenfors, Cambridge University Press, Cambridge, 1992.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Makinson, D., ``Five faces of minimality,'' <i>Studia Logica<\/i>, vol. 52 (1993), pp. 339 -- 379.","DOI":"10.1007\/BF01057652"},{"key":"9","unstructured":"[9] Peppas, P., <i>Belief Change and Reasoning about Action: An Axiomatic Approach to Modelling Inert Dynamic Worlds and the Connection to the Logic of Theory Change<\/i>, PhD thesis, Department of Computer Science, University of Sydney, 1993."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Rott, H., ``Two methods of constructing contractions and revisions of knowledge systems,'' <i>Journal of Philosophical Logic<\/i>, vol 20 (1991), pp. 149--173.","DOI":"10.1007\/BF00284973"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Williams, M., <i>Transmutations of Knowledge Systems<\/i>, PhD thesis, Department of Computer Science, University of Sydney, 1993.","DOI":"10.1016\/B978-1-4832-1452-8.50152-4"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Winslett, M., ``Reasoning about action using a possible models approach,'' pages 89--93 in <i>Proceedings of the Seventh National (U.S.) Conference on Artificial Intelligence<\/i>, Morgan Kaufmann, St. Paul, 1988.","DOI":"10.1016\/0004-3702(88)90011-2"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040308831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:25Z","timestamp":1706649145000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-1\/Constructive-Modelings-for-Theory-Change\/10.1305\/ndjfl\/1040308831.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1,1]]},"references-count":12,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1995,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040308831","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,1,1]]}}}