{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:46Z","timestamp":1725490246276},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_1","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"1-21","source":"Crossref","is-referenced-by-count":1,"title":["Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs"],"prefix":"10.1007","author":[{"given":"Chitta","family":"Baral","sequence":"first","affiliation":[]},{"given":"Juraj","family":"Dzifcak","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Tari","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","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":"1_CR2","doi-asserted-by":"crossref","unstructured":"Bos, J., Clark, S., Steedman, M., Curran, J.R., Hockenmaier, J.: Wide-coverage semantic representations from a ccg parser. In: Proceedings of the 20th International Conference on Computational Linguistics (COLING 2004), Geneva, Switzerland (2004)","DOI":"10.3115\/1220355.1220535"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/11799573_28","volume-title":"Logic Programming","author":"C. Baral","year":"2006","unstructured":"Baral, C., Dzifcak, J., Takahashi, H.: Macros, macro calls and use of ensembles in modular answer set programming. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 376\u2013390. Springer, Heidelberg (2006)"},{"key":"1_CR4","unstructured":"Baral, C., Gelfond, M.: Reasoning about intended actions. In: Proceedings of AAAI 2005, pp. 689\u2013694 (2005)"},{"key":"1_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-24609-1_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Baral","year":"2003","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. In: Lifschitz, V., Niemel\u00e4, I. (eds.) Logic Programming and Nonmonotonic Reasoning. LNCS (LNAI), vol.\u00a02923, pp. 21\u201333. Springer, Heidelberg (2003)"},{"key":"1_CR6","volume-title":"Proceedings of the Second PASCAL Challenges Workshop on Recognising Textual Entailment","author":"R. Bar-Haim","year":"2006","unstructured":"Bar-Haim, R., Dagan, I., Dolan, B., Ferro, L., Giampiccolo, D., Magnini, B., Szpektor, I.: The second pascal recognising textual entailment challenge. In: Proceedings of the Second PASCAL Challenges Workshop on Recognising Textual Entailment, Springer, Heidelberg (2006)"},{"key":"1_CR7","unstructured":"England\u2019s best\u00a0logic problems. Penny Press (Spring, 2007)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Clark, S., Curran, J.R.: Wide-coverage efficient statistical parsing with ccg and log-linear models. Computational Linguistics (to appear, 2007)","DOI":"10.1162\/coli.2007.33.4.493"},{"key":"1_CR9","unstructured":"http:\/\/svn.ask.it.usyd.edu.au\/trac\/candc\/wiki\/"},{"key":"1_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/11736790_9","volume-title":"Machine Learning Challenges","author":"I. Dagan","year":"2006","unstructured":"Dagan, I., Glickman, O., Magnini, B.: The pascal recognising textual entailment challenge. In: Qui\u00f1onero-Candela, J., Dagan, I., Magnini, B., d\u2019Alch\u00e9-Buc, F. (eds.) MLCW 2005. LNCS (LNAI), vol.\u00a03944, pp. 177\u2013190. Springer, Heidelberg (2006)"},{"key":"1_CR11","unstructured":"de Vos M., Schaub, T., Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483. Springer, Heidelberg (2007)"},{"key":"1_CR12","unstructured":"Friedland, N., Allen, P., Witbrock, M., Angele, J., Staab, S., Israel, D., Chaudhri, V., Porter, B., Barker, K., Clark, P.: Towards a quantitative, platformindependent analysis of knowledge systems. In: Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004), pp. 507\u2013515 (2004)"},{"issue":"15","key":"1_CR13","doi-asserted-by":"publisher","first-page":"1481","DOI":"10.1002\/spe.623","volume":"34","author":"R. Finkel","year":"2004","unstructured":"Finkel, R., Marek, M., Truszczyn\u2019ski, M.: Constraint lingo: towards high-level constraint programming. Software\u2014Practice & Experience\u00a034(15), 1481\u20131504 (2004)","journal-title":"Software\u2014Practice & Experience"},{"key":"1_CR14","series-title":"LNAI","first-page":"260","volume-title":"LPNMR 2007","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 260\u2013265. Springer, Heidelberg (2007)"},{"key":"1_CR15","first-page":"1070","volume-title":"Logic Programming: Proc.\u00a0of the Fifth Int\u2019l Conf.\u00a0and Symp","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Logic Programming: Proc.\u00a0of the Fifth Int\u2019l Conf.\u00a0and Symp., pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013387 (1991)","journal-title":"New Generation Computing"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Lierler, Y.: Cmodels - sat-based disjunctive answer set solver. In: LPNMR, pp. 447\u2013451 (2005)","DOI":"10.1007\/11546207_44"},{"key":"1_CR18","unstructured":"Lin, F., Zhao, Y.: Assat: Computing answer sets of a logic program by sat solvers. In: Proceedings of AAAI 2002 (2002)"},{"issue":"4","key":"1_CR19","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/ijl\/3.4.235","volume":"3","author":"G. Miller","year":"1990","unstructured":"Miller, G., Beckwith, R., Fellbaum, C., Gross, D., Miller, K.: Introduction to wordnet: An on-line lexical database. International Journal of Lexicography (special issue)\u00a03(4), 235\u2013312 (1990)","journal-title":"International Journal of Lexicography (special issue)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Moldovan, D., Harabagiu, S., Girju, R., Morarescu, P., Novischi, A., Lacatusu, F., Badulescu, A., Bolohan, O.: Lcc tools for question answering. In: Voorhees, E., Buckland, L., (eds) Proceedings of TREC 2002 (2002)","DOI":"10.3115\/1072228.1072395"},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/763693.763694","volume":"21","author":"D. Moldovan","year":"2003","unstructured":"Moldovan, D., Pasca, M., Harabagiu, S., Surdeanu, M.: Performance issues and error analysis in an open-domain question answering system. ACM Transaction on Information Systems\u00a021(2), 133\u2013154 (2003)","journal-title":"ACM Transaction on Information Systems"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Niemal\u00e4, I., Simons, P.: Smodels - an implementation of the stable model and well-founded semantics for normal logic programs. In: proceedings of the 4th International Conference of Logic Programming and Nonmonotonic Reasoning, pp. 420\u2013429 (1997)","DOI":"10.1007\/3-540-63255-7_32"},{"key":"1_CR23","unstructured":"http:\/\/www.pascal-network.org\/challenges\/rte\/"},{"key":"1_CR24","unstructured":"Wood, M.M.: Categorial grammars. Routledge (1993)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:29:58Z","timestamp":1619519398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_1","relation":{},"subject":[]}}