{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:58:14Z","timestamp":1725890294130},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851097"},{"type":"electronic","value":"9783540851103"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85110-3_29","type":"book-chapter","created":{"date-parts":[[2008,7,26]],"date-time":"2008-07-26T06:00:32Z","timestamp":1217052032000},"page":"333-338","source":"Crossref","is-referenced-by-count":1,"title":["Automating Signature Evolution in Logical Theories"],"prefix":"10.1007","author":[{"given":"Alan","family":"Bundy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","volume-title":"Procs. Wollic 2008","author":"A. Bundy","year":"2008","unstructured":"Bundy, A., Chan, M.: Towards ontology evolution in physics. In: Hodges, W. (ed.) Procs. Wollic 2008. Springer, Heidelberg (2008)"},{"key":"29_CR2","first-page":"178","volume-title":"Computational Logic: Essays in Honor of Alan Robinson","author":"A. Bundy","year":"1991","unstructured":"Bundy, A.: A science of reasoning. In: Lassez, J.-L., Plotkin, G. (eds.) Computational Logic: Essays in Honor of Alan Robinson, pp. 178\u2013198. MIT Press, Cambridge (1991)"},{"key":"29_CR3","unstructured":"Bundy, A.: Where\u2019s my stuff? An ontology repair plan. In: Ahrendt, W., Baumgartner, P., de Nivelle, H. (eds.) Proceedings of the Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability, Bremen, Germany, pp. 2\u201312 (July 2007), http:\/\/www.cs.chalmers.se\/~ahrendt\/CADE07-ws-disproving\/"},{"issue":"3","key":"29_CR4","first-page":"1","volume":"3","author":"F. McNeill","year":"2007","unstructured":"McNeill, F., Bundy, A.: Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution. IJSWIS\u00a03(3), 1\u201335 (2007); Special issue on ontology matching","journal-title":"IJSWIS"},{"key":"29_CR5","volume-title":"Proceedings of the Fifth International Logic Programming Conference\/ Fifth Symposium on Logic Programming","author":"D. Miller","year":"1988","unstructured":"Miller, D., Nadathur, G.: An overview of \u03bbProlog. In: Bowen, R. (ed.) Proceedings of the Fifth International Logic Programming Conference\/ Fifth Symposium on Logic Programming. MIT Press, Cambridge (1988)"},{"key":"29_CR6","doi-asserted-by":"crossref","DOI":"10.1515\/9781400828678","volume-title":"How to Solve It","author":"G. P\u00f3lya","year":"1945","unstructured":"P\u00f3lya, G.: How to Solve It. Princeton University Press, Princeton (1945)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85110-3_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:22:04Z","timestamp":1606184524000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85110-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851097","9783540851103"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85110-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}