{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T04:27:10Z","timestamp":1747196830165,"version":"3.40.5"},"publisher-location":"New York, NY","reference-count":28,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781493918867"},{"type":"electronic","value":"9781493918874"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4939-1887-4_25","type":"book-chapter","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T13:45:28Z","timestamp":1418132728000},"page":"401-418","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Constraint Programming for Context Comprehension"],"prefix":"10.1007","author":[{"given":"Henning","family":"Christiansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,10]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Abdennadher, S., Christiansen, H.: An experimental CLP platform for integrity constraints and abduction. In: Proceedings of FQAS2000, Flexible Query Answering Systems: Advances in Soft Computing series, pp.\u00a0{141\u2013152}. Physica-Verlag, Heidelberg (Springer) (2000)","DOI":"10.1007\/978-3-7908-1834-5_13"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symbol. Logic 50(2), 510\u2013530 (1985)","DOI":"10.2307\/2274239"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Aliseda, A.: Abductive Reasoning: Logical Investigations into Discovery and Explanation (Synthese library). Springer, Berlin (2006)","DOI":"10.1007\/1-4020-3907-7"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Apt, K.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)","DOI":"10.1017\/CBO9780511615320"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Betz, H., Fr\u00fchwirth, T.W.: A linear-logic semantics for Constraint Handling Rules. In: {{van} Beek, P.} (ed.) Constraint Programming, Lecture Notes in Computer Science, vol.\u00a0{3709}, pp.\u00a0137\u2013151. Springer, Berlin (2005)","DOI":"10.1007\/11564751_13"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"van de Camp, M., Christiansen, H.: Resolving relative time expressions in Dutch text with Constraint Handling Rules. In: D. Duchier, Y. Parmentier (eds.) CSLP, Lecture Notes in Computer Science, vol.\u00a08114, pp.\u00a0166\u2013177. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-41578-4_10"},{"key":"25_CR7","unstructured":"Charniak, E., McDermott, D.: Introduction to Artificial Intelligence. Addison-Wesley Publishing Company, Reading (1985)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Christiansen, H.: CHR grammars. Int. J. Theory Pract. Logic Programm. 5(4\u20135), 467\u2013501 (2005)","DOI":"10.1017\/S1471068405002395"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Christiansen, H.: On the implementation of global abduction. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA VII, Lecture Notes in Computer Science, vol.\u00a04371, pp.\u00a0226\u2013245. Springer, Berlin (2006)","DOI":"10.1007\/978-3-540-69619-3_13"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Christiansen, H.: Implementing probabilistic abductive logic programming with Constraint Handling Rules. In: Schrijvers, T., Fr\u00fchwirth, T.W. (eds.) Constraint Handling Rules, Lecture Notes in Computer Science, vol.\u00a05388, pp.\u00a085\u2013118. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-92243-8_5"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Christiansen, H.: Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules. J. Appl. Logic 7(3), 341\u2013362 (2009)","DOI":"10.1016\/j.jal.2008.10.004"},{"key":"25_CR12","unstructured":"Christiansen, H.: An adaptation of Constraint Handling Rules for interactive and intelligent installations. In: Sneyers, J., Fr\u00fchwirth, T.W. (eds.) CHR'12: Proceedings of 9th Workshop on Constraint Handling Rules, pp.\u00a01\u201315. K.U.Leuven, Department of Computer Science, CW 624 (2012)"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Christiansen, H., Dahl, V.: HYPROLOG: A new logic programming language with assumptions and abduction. In: Gabbrielli, M., Gupta, G. (eds.) ICLP, Lecture Notes in Computer Science, vol.\u00a03668, pp.\u00a0159\u2013173. Springer, Berlin (2005a)","DOI":"10.1007\/11562931_14"},{"key":"25_CR14","unstructured":"Christiansen, H., Dahl, V.: Meaning in context. In: Dey, A., Kokinov, B., Leake, D., Turner, R. (eds.) Proceedings of Fifth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-05), Lecture Notes in Artificial Intelligence, vol.\u00a03554, pp.\u00a097\u2013111 Springer, Berlin (2005b)"},{"key":"25_CR15","unstructured":"Christiansen, H., Have, C.T., Tveitane, K.: From use cases to UML class diagrams using logic grammars and constraints. In: RANLP '07: Proceedings of International Conference Recent Advance Nature Language Processing, pp.\u00a0128\u2013132. Incoma Ltd, Shoumen, Bulgaria (2007)"},{"key":"25_CR16","unstructured":"Christiansen, H., Saleh, A.H.: Modeling dependent events with CHRiSM for probabilistic abduction. In: Sneyers}, J. (ed.) CHR '11: Proceedings of 8th Workshop on Constraint Handling Rules, pp.\u00a048\u201363. GUC, Technical report (2011)"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Console, L., Dupr\u00e9, D.T., Torasso, P.: On the relationship between abduction and deduction. J. Logic Comput. 1(5), 661\u2013690 (1991)","DOI":"10.1093\/logcom\/1.5.661"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Denecker, M., Kakas, A.C.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond, Lecture Notes in Computer Science, vol.\u00a02407, pp.\u00a0402\u2013436. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45628-7_16"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.W.: Theory and practice of Constraint Handling Rules. J. Logic Programm. 37(1\u20133), 95\u2013138 (1998)","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.W.: Constraint Handling Rules. Cambridge University Press, Cambridge (2009)","DOI":"10.1017\/CBO9780511609886"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, P.: Belief revision and nonmonotonic logic: Two sides of the same coin? In: ECAI, pp.\u00a0768\u2013773 (1990)","DOI":"10.1007\/BFb0018432"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, P., Rott, H.: Belief revision. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Epistemic and Temporal Reasoning, vol.\u00a0IV, pp.\u00a035\u2013132. Oxford University Press, Oxford (1995)","DOI":"10.1093\/oso\/9780198537915.003.0002"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Hobbs, J.R.: Ontological promiscuity. In: ACL, 23rd Annual Meeting of the Association for Computational Linguistics, 8\u201312 July 1985, University of Chicago, Chicago, Illinois, USA, Proceedings, pp.\u00a061\u201369. ACL (1985)","DOI":"10.3115\/981210.981218"},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Hobbs, J.R., Stickel, M.E., Appelt, D.E., Martin, P.A.: Interpretation as abduction. Artif. Intell. 63(1\u20132), 69\u2013142 (1993)","DOI":"10.1016\/0004-3702(93)90015-4"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.L.: Constraint logic programming. In: POPL, Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, 21\u201323 January 1987, pp.\u00a0111\u2013119 (1987)","DOI":"10.1145\/41625.41635"},{"key":"25_CR26","unstructured":"Kowalski, R.A., Bowen, K.A. (eds.): Logic programming. Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, 15\u201319 August 1988 (2 volumes). MIT Press (1988)"},{"key":"25_CR27","unstructured":"Maim, E.: Abduction and constraint logic programming. In: ECAI, pp.\u00a0149\u2013153 (1992)"},{"key":"25_CR28","unstructured":"Pereira, F.C.N., Shieber, S.M.: Prolog and natural-language analysis, CSLI Lecture Notes Series, vol.\u00a010. Center for the Study of Language and Information, Menlo Park (1987)"}],"container-title":["Context in Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4939-1887-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T00:05:29Z","timestamp":1747181129000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4939-1887-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9781493918867","9781493918874"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-1-4939-1887-4_25","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"10 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}