{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:48Z","timestamp":1725489528350},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664321"},{"type":"electronic","value":"9783540483151"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48315-2_37","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:51:21Z","timestamp":1187268681000},"page":"455-458","source":"Crossref","is-referenced-by-count":2,"title":["Open Theories and Abduction for Context and Accommodation"],"prefix":"10.1007","author":[{"given":"Henning","family":"Christiansen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,12,6]]},"reference":[{"key":"37_CR1","unstructured":"Attardi, G., Simi, M., Metalanguage and reasoning across viewpoints. Proc. ECAI94: Advances in Artificial Intelligence O\u2019Shea, T.O., (ed.), pp. 315\u2013324. Elsevier Science Publishers, 1984."},{"key":"37_CR2","unstructured":"Brachman, R.J., Levesques, H.J., Competence in knowledge representation. Proceedings of the National Conference on Artificial Intelligence. Pittsburgh, PA, August 18\u201420, 1982, Walz, D.L., AAAI Press pp. 189\u2013192, 1982."},{"key":"37_CR3","unstructured":"Buva\u010dc, S., Quantificational Logic of Context. Proc. AAAI 96 & IAAI 96, Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, pp. 600\u2013606, AAAI Press\/MIT Press, 1996."},{"key":"37_CR4","unstructured":"Christiansen, H., Why should grammars not adapt themselves to context and difiscourse? 4th International Pragmatics Conference, Kobe, Japan, July 23\u201430 1993, (Abstract collection), International Pragmatics Association p. 23, 1993. (Extended abstract: http:\/\/www.dat.ruc.dk\/~henning\/IPRA93.ps )."},{"key":"37_CR5","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0743-1066(98)10009-2","volume":"37","author":"H. Christiansen","year":"1998","unstructured":"Christiansen, H., Automated reasoning with a constraint-based metainterpreter, Journal of Logic Programming, vol. 37, pp. 213\u2013253, 1998.","journal-title":"Journal of Logic Programming"},{"key":"37_CR6","unstructured":"Christiansen, H., Lazy negation-as-failure for incremental integrity checking, To appear, 1999."},{"key":"37_CR7","unstructured":"Christiansen, H., Abduction and induction combined in a metalogic framework. Abductive and Inductive Reasoning: Essays on their Relation and Integration, Flach. P., Kakas, A., (eds.), To appear, 1999."},{"key":"37_CR8","unstructured":"Christiansen, H., Martinenghi, D., The Demoll system. Source code for implemented system, example les, and manuals available by World Wide Web, http:\/\/www.dat.ruc.dk\/software\/index.htm . Released 1998."},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Christiansen, H., Open theories and abduction for context and accommodation. Full version of present paper. To appear, 1999 (currently available from http:\/\/www.dat.ruc.dk\/~henning ).","DOI":"10.1007\/3-540-48315-2_37"},{"key":"37_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0004-3702(93)90015-4","volume":"63","author":"J.R. Hobbs","year":"1993","unstructured":"Hobbs, J.R., Stickel, M.E., Appelt D.E., and Martin, P., Interpretation as abduction. Artificial Intelligence 63, pp. 69\u2013142, 1993.","journal-title":"Artificial Intelligence"},{"key":"37_CR11","unstructured":"Mancarella, P., Pedreschi, D., An algebra of logic programs. Proc. Fifth International Conference and Symposium of Logic Programming, pp. 1006\u20131023, MIT Press, 1988."},{"key":"37_CR12","doi-asserted-by":"publisher","first-page":"1030","DOI":"10.1145\/33447.33448","volume":"30","author":"J. McCarthy","year":"1987","unstructured":"McCarthy, J., Generality in artificial intelligence. Communications of the ACM, vol. 30, pp. 1030\u20131035, 1987.","journal-title":"Communications of the ACM"},{"key":"37_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1008254815298","volume":"7","author":"R. Stalnaker","year":"1998","unstructured":"Stalnaker, R., On the representation of context. Journal of Logic, Language, and Information, vol. 7, pp. 3\u201319, 1998.","journal-title":"Journal of Logic, Language, and Information"},{"key":"37_CR14","unstructured":"Sowa, J.F., Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, 1984."},{"key":"37_CR15","unstructured":"Verbaeten, S., Denecker, M., De Schreye, D., Compositionality of Normal Open Logic Programs, Logic Programming, Proceedings of the 1997 International Symposium, Maluszynski, J., (ed.), pp. 371\u2013385, MIT Press, 1997."}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48315-2_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:41:13Z","timestamp":1556772073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48315-2_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664321","9783540483151"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48315-2_37","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}