{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T04:26:48Z","timestamp":1744086408290,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333521"},{"type":"electronic","value":"9783642333538"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33353-8_22","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T10:18:53Z","timestamp":1346926733000},"page":"281-293","source":"Crossref","is-referenced-by-count":3,"title":["Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference"],"prefix":"10.1007","author":[{"given":"Naoya","family":"Inoue","sequence":"first","affiliation":[]},{"given":"Kentaro","family":"Inui","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Charniak, E., Goldman, R.P.: A Probabilistic Model of Plan Recognition. In: AAAI, pp. 160\u2013165 (1991)"},{"key":"22_CR2","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., Martin, P., Edwards, D.: Interpretation as abduction. Artificial Intelligence\u00a063, 69\u2013142 (1993)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1207\/s15516709cog2901_5","volume":"29","author":"M. Shanahan","year":"2005","unstructured":"Shanahan, M.: Perception as Abduction: Turning Sensor Data Into Meaningful Representation. Cognitive Science\u00a029(1), 103\u2013134 (2005)","journal-title":"Cognitive Science"},{"key":"22_CR4","unstructured":"Peraldi, S.E., Kaya, A., Melzer, S., M\u00f6ller, R., Wessel, M.: Multimedia Interpretation as Abduction. In: Int\u2019l Workshop on Description Logics (2007)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Fellbaum, C. (ed.): WordNet: an electronic lexical database. MIT Press (1998)","DOI":"10.7551\/mitpress\/7287.001.0001"},{"key":"22_CR6","unstructured":"Ruppenhofer, J., Ellsworth, M., Petruck, M., Johnson, C., Scheffczyk, J.: FrameNet II: Extended Theory and Practice. Technical report, Berkeley, USA (2010)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Chambers, N., Jurafsky, D.: Unsupervised Learning of Narrative Schemas and their Participants. In: ACL, pp. 602\u2013610 (2009)","DOI":"10.3115\/1690219.1690231"},{"key":"22_CR8","unstructured":"Schoenmackers, S., Davis, J., Etzioni, O., Weld, D.: Learning First-order Horn Clauses from Web Text. In: EMNLP, pp. 1088\u20131098 (2010)"},{"key":"22_CR9","unstructured":"Hovy, D., Zhang, C., Hovy, E., Penas, A.: Unsupervised discovery of domain-specific knowledge from text. In: ACL, pp. 1466\u20131475 (2011)"},{"key":"22_CR10","unstructured":"Ovchinnikova, E., Montazeri, N., Alexandrov, T., Hobbs, J.R., McCord, M., Mulkar-Mehta, R.: Abductive Reasoning with a Large Knowledge Base for Discourse Processing. In: IWCS, Oxford, UK, pp. 225\u2013234 (2011)"},{"issue":"1","key":"22_CR11","first-page":"105","volume":"16","author":"I. Dagan","year":"2010","unstructured":"Dagan, I., Dolan, B., Magnini, B., Roth, D.: Recognizing textual entailment: Rational, evaluation and approaches - Erratum. NLE\u00a016(1), 105 (2010)","journal-title":"NLE"},{"issue":"1-3","key":"22_CR12","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0004-3702(91)90005-5","volume":"49","author":"T. Bylander","year":"1991","unstructured":"Bylander, T., Allemang, D., Tanner, M.C., Josephson, J.R.: The computational complexity of abduction. Artificial Intelligence\u00a049(1-3), 25\u201360 (1991)","journal-title":"Artificial Intelligence"},{"key":"22_CR13","unstructured":"Mulkar, R., Hobbs, J., Hovy, E.: Learning from Reading Syntactically Complex Biology Texts. In: Commonsense, Palo Alto (2007)"},{"issue":"3-4","key":"22_CR14","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BF03037184","volume":"11","author":"D. Poole","year":"1993","unstructured":"Poole, D.: Logic Programming, Abduction and Probability: a top-down anytime algorithm for estimating prior and posterior probabilities. New Generation Computing\u00a011(3-4), 377\u2013400 (1993)","journal-title":"New Generation Computing"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Ishizuka, M., Matsuo, Y.: SL Method for Computing a Near-optimal Solution using Linear and Non-linear Programming in Cost-based Hypothetical Reasoning. In: PRCAI, pp. 611\u2013625 (1998)","DOI":"10.1007\/BFb0095305"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Chivers, S.T., Tagliarini, G.A., Abdelbar, A.M.: An Evolutionary Optimization Approach to Cost-Based Abduction, with Comparison to PSO. In: IJCNN, pp. 2926\u20132930 (2007)","DOI":"10.1109\/IJCNN.2007.4371425"},{"issue":"1","key":"22_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(94)90036-1","volume":"65","author":"E. Santos","year":"1994","unstructured":"Santos, E.: A linear constraint satisfaction approach to cost-based abduction. Artificial Intelligence\u00a065 (1), 1\u201327 (1994)","journal-title":"Artificial Intelligence"},{"key":"22_CR18","unstructured":"Inoue, N., Inui, K.: ILP-Based Reasoning for Weighted Abduction. In: AAAI Workshop on Plan, Activity and Intent Recognition (2011)"},{"key":"22_CR19","unstructured":"Raina, R., Ng, A.Y., Manning, C.D.: Robust textual inference via learning and abductive reasoning. In: AAAI (2005)"},{"key":"22_CR20","unstructured":"Stern, A., Dagan, I.: A confidence model for syntactically-motivated entailment proofs. In: ACL, pp. 455\u2013462 (2011)"},{"issue":"4","key":"22_CR21","first-page":"393","volume":"2","author":"G.B. Dantzig","year":"1954","unstructured":"Dantzig, G.B., Fulkerson, R., Johnson, S.M.: Solution of a large-scale traveling salesman problem. Operations Research\u00a02(4), 393\u2013410 (1954)","journal-title":"Operations Research"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Riedel, S., Clarke, J.: Incremental Integer Linear Programming for Non-projective Dependency Parsing. In: EMNLP, pp. 129\u2013137 (2006)","DOI":"10.3115\/1610075.1610095"},{"key":"22_CR23","unstructured":"Riedel, S.: Improving the Accuracy and Efficiency of MAP Inference for Markov Logic. In: UAI, pp. 468\u2013475 (2008)"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Joachims, T., Finley, T., Yu, C.J.: Cutting-plane training of structural svms. In: Machine Learning, pp. 27\u201359 (2009)","DOI":"10.1007\/s10994-009-5108-8"},{"key":"22_CR25","unstructured":"Berant, J., Aviv, T., Goldberger, J.: Global Learning of Typed Entailment Rules. In: ACL, pp. 610\u2013619 (2008)"},{"key":"22_CR26","unstructured":"Kate, R.J., Mooney, R.J.: Probabilistic Abduction using Markov Logic Networks. In: PAIRS (2009)"},{"key":"22_CR27","unstructured":"Raghavan, S., Mooney, R.J.: Bayesian Abductive Logic Programs. In: STARAI, pp. 82\u201387 (2010)"},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Singla, P., Domingos, P.: Abductive Markov Logic for Plan Recognition. In: AAAI, pp. 1069\u20131075 (2011)","DOI":"10.1609\/aaai.v25i1.8018"},{"key":"22_CR29","unstructured":"Blythe, J., Hobbs, J.R., Domingos, P., Kate, R.J., Mooney, R.J.: Implementing Weighted Abduction in Markov Logic. In: IWCS, Oxford, UK, pp. 55\u201364 (2011)"},{"key":"22_CR30","doi-asserted-by":"crossref","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. In: ML, pp. 107\u2013136 (2006)","DOI":"10.1007\/s10994-006-5833-1"},{"key":"22_CR31","unstructured":"Ng, H.T., Mooney, R.J.: Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation. In: KR, pp. 499\u2013508 (1992)"},{"key":"22_CR32","doi-asserted-by":"crossref","unstructured":"Hobbs, J.R.: Ontological promiscuity. In: ACL, Chicago, Illinois, pp. 61\u201369 (1985)","DOI":"10.3115\/981210.981218"},{"key":"22_CR33","doi-asserted-by":"crossref","unstructured":"Bos, J.: Wide-Coverage Semantic Analysis with Boxer. In: STEP, pp. 277\u2013286 (2008)","DOI":"10.3115\/1626481.1626503"},{"key":"22_CR34","unstructured":"Prendinger, H., Ishizuka, M.: First-Order Diagnosis by Propositional Reasoning: A Representation-Based Approach. In: DX, pp. 220\u2013225 (1999)"},{"issue":"3","key":"22_CR35","first-page":"297","volume":"17","author":"A.M. Abdelbar","year":"2005","unstructured":"Abdelbar, A.M., Hefny, M.: An efficient lp-based admissible heuristic for cost-based abduction. JETAI\u00a017(3), 297\u2013303 (2005)","journal-title":"JETAI"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33353-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T23:10:51Z","timestamp":1744067451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33353-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333521","9783642333538"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33353-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}