{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:08:42Z","timestamp":1761620922955},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540334279"},{"type":"electronic","value":"9783540334286"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11736790_15","type":"book-chapter","created":{"date-parts":[[2006,4,6]],"date-time":"2006-04-06T11:10:48Z","timestamp":1144321848000},"page":"261-286","source":"Crossref","is-referenced-by-count":13,"title":["An Inference Model for Semantic Entailment in Natural Language"],"prefix":"10.1007","author":[{"given":"Rodrigo","family":"de Salvo Braz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roxana","family":"Girju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasin","family":"Punyakanok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Roth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Sammons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Dagan, I., Glickman, O.: Probabilistic textual entailment: Generic applied modeling of language variability. In: Learning Methods for Text Understanding and Mining, Grenoble, France (2004)"},{"key":"15_CR2","volume-title":"Natural Language Processing","author":"L.K. Schubert","year":"1986","unstructured":"Schubert, L.K.: From english to logic: Contex-free computation of \u2018conventional\u2019 logical translations. In: Grosz, B.J., Sparck Jones, K., Webber, B.L. (eds.) Natural Language Processing. Kaufmann, Los Altos (1986)"},{"key":"15_CR3","volume-title":"Natural Language Processing","author":"R.C. Moore","year":"1986","unstructured":"Moore, R.C.: Problems in logical form. In: Grosz, B.J., Sparck Jones, K., Webber, B.L. (eds.) Natural Language Processing. Kaufmann, Los Altos (1986)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Hobbs, J.R., Stickel, M., Martin, P., Edwards, D.: Interpretation as abduction. In: Proc. of the 26th Annual Meeting of the Association for Computational Linguistics (ACL), pp. 95\u2013103 (1988)","DOI":"10.3115\/982023.982035"},{"key":"15_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-36468-4_3","volume-title":"Inductive Logic Programming","author":"C.M. Cumby","year":"2003","unstructured":"Cumby, C.M., Roth, D.: Learning with feature description logics. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol.\u00a02583, pp. 32\u201347. Springer, Heidelberg (2003)"},{"key":"15_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Progamming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Progamming. Springer, Heidelberg (1987)"},{"key":"15_CR7","unstructured":"Kingsbury, P., Palmer, M., Marcus, M.: Adding semantic annotation to the Penn. treebank. In: Proc. of the 2002 Human Language Technology conference (HLT), San Diego, CA (2002)"},{"key":"15_CR8","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: Description Logic Handbook. Cambridge (2003)"},{"key":"15_CR9","unstructured":"Even-Zohar, Y., Roth, D.: A sequential model for multi class classification. In: Proc. of the 2001 Conference on Empirical Methods for Natural Language Processing (EMNLP), pp. 10\u201319 (2001)"},{"key":"15_CR10","unstructured":"Collins, M.: Head-driven Statistical Models for Natural Language Parsing. PhD thesis, Computer Science Department, University of Pennsylvenia, Philadelphia (1999)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Punyakanok, V., Roth, D., Yih, W., Zimak, D.: Semantic role labeling via integer linear programming inference. In: Proc. of the 20th International Conference on Computational Linguistics (COLING), Geneva, Switzerland (2004)","DOI":"10.3115\/1220355.1220552"},{"key":"15_CR12","unstructured":"Punyakanok, V., Roth, D., Yih, W.: The necessity of syntactic parsing for semantic role labeling. In: Proc. of the 19th International Joint Conference on Artificial Intelligence, IJCAI (2005)"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Li, X., Morie, P., Roth, D.: Identification and tracing of ambiguous names: Discriminative and generative approaches. In: Proc. of the 19th National Conference on Artificial Intelligence, AAAI (2004)","DOI":"10.21236\/ADA457894"},{"key":"15_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7287.001.0001","volume-title":"WordNet: An Electronic Lexical Database","author":"C. Fellbaum","year":"1998","unstructured":"Fellbaum, C.: WordNet: An Electronic Lexical Database. MIT Press, Cambridge (1998)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Lin, D., Pantel, P.: DIRT: discovery of inference rules from text. In: Proc. of ACM SIGKDD Conference on Knowledge Discovery and Data Mining 2001, pp. 323\u2013328 (2001)","DOI":"10.1145\/502512.502559"},{"key":"15_CR16","unstructured":"Roth, D., Yih, W.: A linear programming formulation for global inference in natural language tasks. In: Proceedings of CoNLL-2004, pp. 1\u20138 (2004)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Roth, D., Yih, W.: Integer linear programming inference for conditional random fields. In: Proceedings of the International Conference on Machine Learning, ICML (2005)","DOI":"10.1145\/1102351.1102444"},{"key":"15_CR18","unstructured":"Durme, B.V., Huang, Y., Kupsc, A., Nyberg, E.: Towards light semantic processing for question answering. In: HLT Workshop on Text Meaning (2003)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Moldovan, D., Clark, C., Harabagiu, S., Maiorano, S.: Cogex: A logic prover for question answering. In: Proc. of HLT-NAACL 2003 (2003)","DOI":"10.3115\/1073445.1073467"},{"key":"15_CR20","unstructured":"Thompson, C., Mooney, R., Tang, L.: Learning to parse NL database queries into logical form. In: Workshop on Automata Induction, Grammatical Inference and Language Acquisition (1997)"},{"key":"15_CR21","unstructured":"Glickman, O., Dagan, I., Koppel, M.: A probabilistic classification approach for lexical textual entailment. In: Proc. of AAAI 2005 (2005)"},{"key":"15_CR22","unstructured":"Raina, R., Ng, A., Manning, C.: Robust textual inference via learning and abductive reasoning. In: Proc. of AAAI 2005 (2005)"},{"key":"15_CR23","unstructured":"Punyakanok, V., Roth, D., Yih, W.: Natural language inference via dependency tree mapping: An application to question answering. Technical Report No. UIUCDCS-R-2004-2443), UIUC Computer Science Department (2004)"}],"container-title":["Lecture Notes in Computer Science","Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11736790_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T17:05:15Z","timestamp":1555520715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11736790_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540334279","9783540334286"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11736790_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}