{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:47:01Z","timestamp":1729630021328,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/afrcon.2011.6072131","type":"proceedings-article","created":{"date-parts":[[2011,11,11]],"date-time":"2011-11-11T18:56:18Z","timestamp":1321037778000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["A logic-based perspective on agent reconfiguration: Preliminary report"],"prefix":"10.1109","author":[{"given":"Thomas","family":"Meyer","sequence":"first","affiliation":[]},{"given":"Ivan","family":"Varzinczak","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Handbook of Modal Logic","year":"2006","author":"blackburn","key":"ref10"},{"key":"ref11","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"4","author":"mccarthy","year":"1969","journal-title":"Machine Intelligence"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.13.165-185"},{"key":"ref13","first-page":"131","article-title":"EPDL: A logic for causal reasoning","author":"zhang","year":"2001","journal-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI)"},{"key":"ref14","article-title":"It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation","author":"castilho","year":"2002","journal-title":"9th International Workshop on Nonmonotonic Reasoning (NMR)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/356571.356573"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787"},{"key":"ref17","first-page":"285","article-title":"Can you tell the difference between DL-Lite ontologies?","author":"kontchakov","year":"2008","journal-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR)"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/978-3-540-71070-7_21","article-title":"The logical difference problem for description logic terminologies","author":"konev","year":"2008","journal-title":"Proceedings of Joint International Conference on Automated Reasoning (IJCAR"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526664.007"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0814-3","article-title":"A Textbook of Belief Dynamics: Theory Change and Database Updating","author":"hansson","year":"1999"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1613\/jair.2959","article-title":"On action theory change","volume":"37","author":"varzinczak","year":"2010","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref5","first-page":"651","article-title":"Action theory contraction and minimal change","author":"varzinczak","year":"2008","journal-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.04.013"},{"key":"ref7","first-page":"442","article-title":"Cohesion, coupling and the meta-theory of actions","author":"herzig","year":"2005","journal-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.10.006"},{"key":"ref9","article-title":"Semantic diff as the basis for knowledge base versioning","author":"franconi","year":"2010","journal-title":"13th International Workshop on Nonmonotonic Reasoning (NMR)"}],"event":{"name":"AFRICON 2011","start":{"date-parts":[[2011,9,13]]},"location":"Victoria Falls, Livingstone, Zambia","end":{"date-parts":[[2011,9,15]]}},"container-title":["IEEE Africon '11"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6062325\/6071956\/06072131.pdf?arnumber=6072131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T12:18:56Z","timestamp":1560946736000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6072131\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/afrcon.2011.6072131","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}