{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:53:44Z","timestamp":1742799224307},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-45034-3_3","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T08:38:50Z","timestamp":1179650330000},"page":"21-30","source":"Crossref","is-referenced-by-count":7,"title":["Deductive and Inductive Reasoning for Processing the Claims of Unsatisfied Customers"],"prefix":"10.1007","author":[{"given":"Boris","family":"Galitsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Pampapathi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/BF00370198","volume":"42","author":"O.M. Anshakov","year":"1989","unstructured":"Anshakov, O.M., Finn, V.K., Skvortsov, D.P.: On axiomatization of many-valued logics associated with formalization of plausible reasoning, Studia Logica v42 N4 (1989) 423\u2013447.","journal-title":"Studia Logica"},{"issue":"1\u20132","key":"3_CR2","first-page":"8","volume":"2","author":"V.K. Finn","year":"1999","unstructured":"Finn, V.K.: On the synthesis of cognitive procedures and the problem of induction NTI Series 2 N1\u20132 (1999) 8\u201345.","journal-title":"NTI Series"},{"key":"3_CR3","unstructured":"Galitsky, B.: Using mental simulator for emotional rehabilitation of autistic patients. FLAIRS \u2014 03, May 12\u201314, St. Augustine, FL (2003)."},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming v31, 59\u201384 (1997).","journal-title":"Journal of Logic Programming"},{"key":"3_CR5","unstructured":"Muggleton, S. (ed.): Inductive Logic Programming, Academic Press (1992)."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Lakemeyer, G.: On sensing in GOLOG. in Levesque, H.J., Pirri, F., (eds). Logical foundations for cognitive agents, Springer (1999).","DOI":"10.1007\/978-3-642-60211-5_14"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"De Raedt, L.: A perspective on Inductive Logic Programming. In Apt, K.R, Marek, V.W., Truszczynski, M., Warren, D. Eds. The Logic Programming Paradigm Springer (1999).","DOI":"10.1007\/978-3-642-60085-2_14"},{"key":"3_CR8","unstructured":"Shanahan, M. Solving the frame problem. MIT Press (1997)."},{"key":"3_CR9","unstructured":"Souchansky, M.: On-line Decision-Theoretic GOLOG Interpreter. IJCAI-01 (2001)."},{"key":"3_CR10","first-page":"61","volume":"N1\u20132","author":"D.V. Vinogradov","year":"1999","unstructured":"Vinogradov, D.V.: Logic programs for quasi-axiomatic theories NTI Series 2 N1\u20132 (1999) 61\u201364.","journal-title":"Logic programs for quasi-axiomatic theories"},{"key":"3_CR11","volume-title":"Reasoning about Rational Agents","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: Reasoning about Rational Agents. The MIT Press Cambridge MA London England (2002)."}],"container-title":["Lecture Notes in Computer Science","Developments in Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45034-3_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:56Z","timestamp":1605647276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45034-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540404552"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45034-3_3","relation":{},"subject":[]}}