{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:56Z","timestamp":1725566336849},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_49","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"591-603","source":"Crossref","is-referenced-by-count":5,"title":["Logic Programming Infrastructure for Inferences on FrameNet"],"prefix":"10.1007","author":[{"given":"Peter","family":"Baumgartner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aljoscha","family":"Burchardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"49_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning and declarative problem solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)"},{"key":"49_CR2","volume-title":"Description Logic Handbook","author":"F. Baader","year":"2002","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: Description Logic Handbook. Cambridge University Press, Cambridge (2002)"},{"key":"49_CR3","doi-asserted-by":"crossref","unstructured":"Baker, C.F., Fillmore, C.J., Lowe, J.B.: The Berkeley FrameNet project. In: Proc. of COLING-ACL 1998, Montreal, Canada (1998)","DOI":"10.3115\/980451.980860"},{"issue":"2","key":"49_CR4","first-page":"175","volume":"1","author":"P. Baumgartner","year":"2000","unstructured":"Baumgartner, P., K\u00fchn, M.: Abducing Coreference by Model Construction. Journal of Language and Computation\u00a01(2), 175\u2013190 (2000)","journal-title":"Journal of Language and Computation"},{"issue":"2","key":"49_CR5","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1023\/B:JLLI.0000024731.26883.86","volume":"13","author":"J. Bos","year":"2004","unstructured":"Bos, J.: Computational semantics in discourse: Underspecification, resolution, and inference. Journal of Logic, Language and Information\u00a013(2), 139\u2013157 (2004)","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"49_CR6","first-page":"11","volume":"77","author":"H. Nivelle de","year":"2001","unstructured":"de Nivelle, H., Blackburn, P., Bos, J., Kohlhase, M.: Inference and computational semantics. Studies in Linguistics and Philosophy, Computing Meaning\u00a077(2), 11\u201328 (2001)","journal-title":"Studies in Linguistics and Philosophy, Computing Meaning"},{"key":"49_CR7","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-1-4615-1567-8_4","volume-title":"Logic-based artificial intelligence","author":"T. Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving using the DLV system. In: Logic-based artificial intelligence, pp. 79\u2013103. Kluwer, Dordrecht (2000)"},{"key":"49_CR8","doi-asserted-by":"crossref","unstructured":"Erk, K., Kowalski, A., Pado, S., Pinkal, M.: Towards a resource for lexical semantics:A large German corpus with extensive semantic annotation. In: Proc. of ACL 2003, Sapporo, Japan (2003)","DOI":"10.3115\/1075096.1075164"},{"volume-title":"WordNet. An electronic lexical database","year":"1998","key":"49_CR9","unstructured":"Fellbaum, C. (ed.): WordNet. An electronic lexical database. MIT Press, Cambridge (1998)"},{"key":"49_CR10","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proc. of 5th ICLP (1988)"},{"issue":"1-2","key":"49_CR11","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.E., Appelt, D.E., Martin, P.: Interpretation as abduction. Artificial Intelligence\u00a063(1-2), 69\u2013142 (1993)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"49_CR12","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1093\/jigpal\/11.4.435","volume":"11","author":"M. Kohlhase","year":"2003","unstructured":"Kohlhase, M., Koller, A.: Resource-adaptive model generation as a performance model. Logic Journal of the IGPL\u00a011(4), 435\u2013456 (2003)","journal-title":"Logic Journal of the IGPL"},{"key":"49_CR13","unstructured":"Narayanan, S., Fillmore, C.J., Baker, C.F., Petruck, M.R.L.: FrameNet Meets the Semantic Web:A DAML+OIL Frame Representation. In: Proc. of AAAI (2002)"},{"key":"49_CR14","volume-title":"Proc. of JICSLP","author":"I. Niemel\u00e4","year":"1996","unstructured":"Niemel\u00e4, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Proc. of JICSLP, Bonn, Germany, The MIT Press, Cambridge (1996)"},{"key":"49_CR15","unstructured":"Wernhard, C.: System Description: KRHyper. Fachberichte Informatik 14\u20132003, Universit\u00e4t Koblenz-Landau (2003)"}],"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-540-30227-8_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:50:58Z","timestamp":1605761458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}