{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T22:42:51Z","timestamp":1775169771338,"version":"3.50.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,7,1]],"date-time":"2006-07-01T00:00:00Z","timestamp":1151712000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Inf Syst"],"published-print":{"date-parts":[[2006,7]]},"DOI":"10.1007\/s10844-006-1641-0","type":"journal-article","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T14:56:22Z","timestamp":1156517782000},"page":"21-48","source":"Crossref","is-referenced-by-count":11,"title":["Merging deductive and inductive reasoning for processing textual descriptions of inter-human conflicts"],"prefix":"10.1007","volume":"27","author":[{"given":"Boris","family":"Galitsky","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,8,18]]},"reference":[{"issue":"4","key":"1641_CR1","doi-asserted-by":"crossref","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. (1989). On axiomatization of many-valued logics associated with formalization of plausible reasoning. Studia Logica, 42(4), 423\u2013447.","journal-title":"Studia Logica"},{"key":"1641_CR2","doi-asserted-by":"crossref","unstructured":"Bacchus, F., Halpern, J. Y., & Levesque, H. (1999). Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence, 111(1\u20132), 171\u2013208.","DOI":"10.1016\/S0004-3702(99)00031-4"},{"key":"1641_CR3","doi-asserted-by":"crossref","unstructured":"Barber, K. S., & Kim, J. (2001). Belief revision process based on trust: Agents evaluating reputation of information sources. In R. Flacone, M. Singh & Y.-H. Tan (Eds.), Fraud, deception, and trust in agent societies. Springer: New York, USA.","DOI":"10.1007\/3-540-45547-7_5"},{"key":"1641_CR4","unstructured":"Ciravegna, F. (2000). Learning to tag information extraction from text. In ECAI-2000 Workshop on Machine Learning for Information Extraction."},{"key":"1641_CR5","doi-asserted-by":"crossref","unstructured":"Davey, B. A., & Priestley, H. A. (2002). Introduction to lattices and order. Cambridge University Press: Cambridge, UK.","DOI":"10.1017\/CBO9780511809088"},{"key":"1641_CR6","doi-asserted-by":"crossref","unstructured":"De Raedt, L. (1999). A perspective on Inductive Logic Programming. In K. R. Apt, V. W. Marek, M. Truszczynski, & D. Warren (Eds.), The logic programming paradigm. Springer: New York, USA.","DOI":"10.1007\/978-3-642-60085-2_14"},{"issue":"2","key":"1641_CR7","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin, R., & Halpern, J. Y. (1994). Reasoning about knowledge and probability. Journal of the ACM, 41(2), 340\u2013367.","journal-title":"Journal of the ACM"},{"key":"1641_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. MIT Press: Cambridge, Massachusetts."},{"key":"1641_CR9","first-page":"8","volume":"N1-2","author":"V. K. Finn","year":"1999","unstructured":"Finn, V. K. (1999). On the synthesis of cognitive procedures and the problem of induction. NTI Series 2, N1-2, 8\u201345.","journal-title":"NTI Series 2"},{"key":"1641_CR10","unstructured":"Furukawa, K. (1998). From deduction to induction: Logical perspective. In K. R. Apt, V. W. Marek, M. Truszczynski, & D. S. Warren (Eds.), The logic programming paradigm. Springer: New York, USA."},{"key":"1641_CR11","doi-asserted-by":"crossref","unstructured":"Galitsky, B. (2001) Semi-structured knowledge representation for the automated financial advisor. In L. Monostori et al. (Eds.), Engineering of intelligent systems (pp. 874\u2013879). LNAI 2070: 14th IEA\/AIE Conference.","DOI":"10.1007\/3-540-45517-5_96"},{"key":"1641_CR12","unstructured":"Galitsky, B. (2003a). Using mental simulator for emotional rehabilitation of autistic patients. FLAIRS \u2013 03, May 12\u201314, St. Augustine, Forida."},{"key":"1641_CR13","unstructured":"Galitsky, B. (2003b). Natural language question answering system: Technique of semantic headers. Advanced knowledge international. Australia."},{"key":"1641_CR14","unstructured":"Galitsky, B. (2005a) (n.d.) last downloaded Jan 10, 2005 http:\/\/www.dcs.bbk.ac.uk\/~galitsky\/ComplaintEngineIntro.html ."},{"key":"1641_CR15","unstructured":"Galitsky, B. (2005b) (n.d.) last downloaded Jan 10, 2005 http:\/\/www.dcs.bbk.ac.uk\/~galitsky\/CLAIMS\/AnalyzedClaims.htm ."},{"key":"1641_CR16","unstructured":"Galitsky, B. (2005c) (n.d.) last downloaded Jan 10, 2005 http:\/\/www.dcs.bbk.ac.uk\/~galitsky\/CLAIMS\/ComplaintManagement.html ."},{"key":"1641_CR17","unstructured":"Galitsky, B., & Mirkin, B. (2003). Building interactive forms to input the scenarios of multiagent conflicts. In J. M. Rossiter, & T. P. Martin (Eds.), Proceedings of the 2003 UK Workshop on Computational Intelligence (pp. 123\u2013130). Bristol, UK: University of Bristol, UKCI-2003."},{"key":"1641_CR18","first-page":"21","volume-title":"16th IEA\/AIE Conference, LNAI 2718","author":"B. Galitsky","year":"2003","unstructured":"Galitsky, B., & Pampapathi, R. (2003). Deductive and inductive reasoning for processing the claims of unsatisfied customers. In 16th IEA\/AIE Conference, LNAI 2718 (pp. 21\u201330). UK: Loughborough University."},{"key":"1641_CR19","unstructured":"Galitsky, B., & Tumarkina, I. (2004a). Justification of customer complaints using mental actions and emotional states. FLAIRS \u2013 04, May 16\u201318, Miami Florida."},{"key":"1641_CR20","volume-title":"Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference","author":"B. Galitsky","year":"2004","unstructured":"Galitsky, B., & Tumarkina, I. (2004b). Justification of customer complaints using mental actions and emotional states. In Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference. Menlo Park, California: AAAI Press."},{"key":"1641_CR21","doi-asserted-by":"crossref","unstructured":"Ganter, B., & Wille, R. (1999). Formal concept analysis. Mathematical Foundations, Springer: New York, USA.","DOI":"10.1007\/978-3-642-59830-2"},{"issue":"2\u20134","key":"1641_CR22","first-page":"67","volume":"57","author":"H. Grosskreutz","year":"2003","unstructured":"Grosskreutz, H., & Lakemeyer, G. (2003). Probabilistic complex actions in GOLOG. Fundamenta Informaticae, 57(2\u20134), 67\u2013192.","journal-title":"Fundamenta Informaticae"},{"key":"1641_CR23","doi-asserted-by":"crossref","unstructured":"Kuznetsov, S. O. (2004). Machine learning and formal concept analysis. Intern Conf on Formal Concept Analysis (pp. 287\u2013312). Australia.","DOI":"10.1007\/978-3-540-24651-0_25"},{"key":"1641_CR24","doi-asserted-by":"crossref","unstructured":"Lakemeyer, G. (1999). On sensing in GOLOG. In H. J. Levesque & F. Pirri (Eds.), Logical foundations for cognitive agents. Springer: New York, USA.","DOI":"10.1007\/978-3-642-60211-5_14"},{"key":"1641_CR25","volume-title":"Inductive logic programming: Techniques and applications","author":"N. Lavrac","year":"1994","unstructured":"Lavrac, N., & Dzeroski, S. (1994). Inductive logic programming: Techniques and applications. New York: Ellis Horwood."},{"key":"1641_CR26","volume-title":"Fourteenth International Joint Conference on Artificial Intelligence","author":"D. B. Leake","year":"1997","unstructured":"Leake, D. B., Kinley, A., & Wilson, D. (1997). Learning to integrate multiple knowledge sources for case-based reasoning. In Fourteenth International Joint Conference on Artificial Intelligence. Nagoya, Japan: Morgan Kaufmann."},{"key":"1641_CR27","unstructured":"Levesque, H. L. & Pagnucco, M. (2000). Legolog: Inexpensive experiments in cognitive robotics. In Proceedings of the Second International Cognitive Robotics Workshop, Berlin, Germany, August 21\u201322."},{"key":"1641_CR28","doi-asserted-by":"crossref","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. (1997). GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31, 59\u201384.","journal-title":"Journal of Logic Programming"},{"key":"1641_CR29","volume-title":"5th IASTED International Conference, Robotics and Manufacturing","author":"T. H. Liu","year":"1997","unstructured":"Liu, T. H., Chuter, C. J., & Barber, K. S. (1997). Virtual environment simulation for visualizing conflict resolution strategies in multiple robot systems. In 5th IASTED International Conference, Robotics and Manufacturing. Cancun, Mexico: IASTED Press."},{"key":"1641_CR30","unstructured":"McCarthy, J. (2002). Actions and other events in situational calculus 8th International Conf On Principles of Knowledge Representation and Reasoning KR02 Toulouse France."},{"key":"1641_CR31","volume-title":"Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference","author":"E. T. Mueller","year":"2004","unstructured":"Mueller, E. T. (2004). A tool for satisfiability-based commonsense reasoning in the event calculus. In Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference. Menlo Park, CA: AAAI Press."},{"key":"1641_CR32","unstructured":"Muggleton, S. (Ed.) (1992). Inductive logic programming. Academic Press: Burlington, MA, USA."},{"key":"1641_CR33","unstructured":"Muggleton, S., & Firth, J. (1999). CProgol4.4: Theory and use. In S. Dzeroski & N. Lavrac (Eds.), Inductive logic programming and knowledge discovery in databases."},{"key":"1641_CR34","unstructured":"Nikolopoulos, C., & Choi, C. (1994). A consumer complaint behavior neural forecasting model. Applied Informatics, 61\u201363."},{"key":"1641_CR35","unstructured":"Pattison-Gordon, E., Cimino, J. J., Hripcsack, G., Tu, S. W., Gennari, J. H., Jain, N. L. et al. (1996). Requirements of a sharable guideline representation for computer applications. Stanford University, Report No. SMI-96-0628."},{"key":"1641_CR36","doi-asserted-by":"crossref","unstructured":"Reiter, R. (1993). Proving properties of states in the situational calculus. Artificial Intelligence, 64, 337\u2013351.","DOI":"10.1016\/0004-3702(93)90109-O"},{"key":"1641_CR37","unstructured":"Reynolds, J. C. (1970). Transformational systems and the algebraic structure of atomic formulas. In Machine Intelligence, vol. 5 (pp. 135\u2013151). Edinburgh University Press: Edinburgh, UK."},{"key":"1641_CR38","unstructured":"Shanahan, M. (1997). Solving the frame problem. MIT Press: Boston, MA, USA."},{"key":"1641_CR39","doi-asserted-by":"crossref","unstructured":"Singh, P., & Barry, B. (2003). Collecting commonsense experiences. In Proceedings of the Second International Conference on Knowledge Capture (K-CAP 03). Sanibel Island, Florida.","DOI":"10.1145\/945645.945668"},{"key":"1641_CR40","unstructured":"Souchansky, M. (2001). On-line Decision-Theoretic GOLOG Interpreter. IJCAI-01."},{"key":"1641_CR41","first-page":"61","volume":"N1-2","author":"D. V. Vinogradov","year":"1999","unstructured":"Vinogradov, D. V. (1999). Logic programs for quasi-axiomatic theories. NTI Series 2, N1-2, 61\u201364.","journal-title":"NTI Series 2"},{"key":"1641_CR42","volume-title":"Reasoning about rational agents","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M. (2002). Reasoning about rational agents. Cambridge, MA and London, England: The MIT Press."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-006-1641-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10844-006-1641-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-006-1641-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T15:46:02Z","timestamp":1736523962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10844-006-1641-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["1641"],"URL":"https:\/\/doi.org\/10.1007\/s10844-006-1641-0","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7]]}}}