{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:30:28Z","timestamp":1767339028530,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"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-30743-0_30","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"436-453","source":"Crossref","is-referenced-by-count":11,"title":["Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Yuliya","family":"Lierler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Sch\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Beavers, J.: Documentation: A CCG implementation for the LKB. Tech. rep., Stanford University, Center for the Study of Language and Information (2003)"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Beavers, J., Sag, I.: Coordinate ellipsis and apparent non-constituent coordination. In: International Conference on Head-Driven Phrase Structure Grammar (HPSG 2004), pp. 48\u201369 (2004)","DOI":"10.21248\/hpsg.2004.3"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Beavers, J.: Type-inheritance combinatory categorial grammar. In: International Conference on Computational Linguistics, COLING 2004 (2004)","DOI":"10.3115\/1220355.1220364"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Bos, J.: Wide-coverage semantic analysis with boxer. In: Bos, J., Delmonte, R. (eds.) Semantics in Text Processing. STEP 2008 Conference Proceedings, pp. 277\u2013286. Research in Computational Semantics, College Publications (2008)","DOI":"10.3115\/1626481.1626503"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Pistore, M., Traverso, P.: Automated planning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03022-2"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Clark, S., Curran, J.R.: Log-linear models for wide-coverage CCG parsing. In: SIGDAT Conference on Empirical Methods in Natural Language Processing, EMNLP 2003 (2003)","DOI":"10.3115\/1119355.1119368"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Clark, S., Curran, J.R.: Parsing the WSJ using CCG and log-linear models. In: Proceedings of the 42nd Annual Meeting of the Association for Computational Linguistics (ACL 2004), Barcelona, Spain, pp. 104\u2013111 (2004)","DOI":"10.3115\/1218955.1218969"},{"issue":"4","key":"30_CR8","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1162\/coli.2007.33.4.493","volume":"33","author":"S. Clark","year":"2007","unstructured":"Clark, S., Curran, J.R.: Wide-coverage efficient statistical parsing with CCG and log-linear models. Computational Linguistics\u00a033(4), 493\u2013552 (2007)","journal-title":"Computational Linguistics"},{"key":"30_CR9","unstructured":"Djordjevic, B., Curran, J.R.: Efficient combinatory categorial grammar parsing. In: Proceedings of the 2006 Australasian Language Technology Workshop (ALTW), pp. 3\u201310 (2006)"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-94-015-6878-4_7","volume-title":"Categorial Grammars and Natural Language Structures","author":"D. Dowty","year":"1988","unstructured":"Dowty, D.: Type raising, functional composition, and non-constituent conjunction. In: Oehrle, R.T., Bach, E., Wheeler, D. (eds.) Categorial Grammars and Natural Language Structures, vol.\u00a032, pp. 153\u2013197. Reidel, Dordrecht (1988)"},{"key":"30_CR11","unstructured":"Drescher, C., Walsh, T.: Modelling grammar constraints with answer set programming. In: Gallagher, J.P., Gelfond, M. (eds.) Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, vol.\u00a011, pp. 28\u201339 (2011)"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Eisner, J.: Efficient normal-form parsing for combinatory categorial grammar. In: Proceedings of the 34th Annual Meeting on Association for Computational Linguistics (ACL 1996), pp. 79\u201386 (1996)","DOI":"10.3115\/981863.981874"},{"key":"30_CR13","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/976706.976708","volume":"5","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Logic\u00a05, 206\u2013263 (2004)","journal-title":"ACM Trans. Comput. Logic"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Gebser, M., K\u00f6nig, A., Schaub, T., Thiele, S., Veber, P.: The BioASP library: ASP solutions for systems biology. In: 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2010), vol.\u00a01, pp. 383\u2013389 (2010)","DOI":"10.1109\/ICTAI.2010.62"},{"key":"30_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-89982-2_23","volume-title":"Logic Programming","author":"M. Gebser","year":"2008","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an Incremental ASP Solver. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 190\u2013205. Springer, Heidelberg (2008)"},{"key":"30_CR16","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user\u2019s guide to gringo, clasp, clingo, and iclingo (2010), http:\/\/sourceforge.net\/projects\/potassco\/files\/potassco_guide\/2010-10-04\/guide.pdf"},{"key":"30_CR17","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Proceedings of 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 386\u2013392. MIT Press (2007)"},{"key":"30_CR18","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of International Logic Programming Conference and Symposium (ICLP 1988), pp. 1070\u20131080. MIT Press (1988)"},{"key":"30_CR19","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\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"30_CR20","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1162\/coli.2007.33.3.355","volume":"33","author":"J. Hockenmaier","year":"2007","unstructured":"Hockenmaier, J., Steedman, M.: CCGbank: A corpus of CCG derivations and dependency structures extracted from the Penn Treebank. Comput. Linguist.\u00a033, 355\u2013396 (2007)","journal-title":"Comput. Linguist."},{"key":"30_CR21","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1613\/jair.2861","volume":"36","author":"F. Hutter","year":"2009","unstructured":"Hutter, F., Hoos, H., Leyton-Brown, K., St\u00fctzle, T.: ParamILS: An automatic algorithm configuration framework. Journal of Artificial Intelligence Research\u00a036, 267\u2013306 (2009)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"Lierler, Y., Sch\u00fcller, P.: Parsing combinatory categorial grammar with answer set programming: Preliminary report. In: Workshop on Logic programming, WLP (2011)","DOI":"10.1007\/978-3-642-30743-0_30"},{"key":"30_CR23","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence\u00a0138, 39\u201354 (2002)","journal-title":"Artificial Intelligence"},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"Marek, V., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"30_CR25","unstructured":"McDermott, D., et al.: PDDL \u2014 the Planning Domain Definition Language. Tech. rep., Yale Center for Computational Vision and Control (1998), CVC TR-98-003\/DCS TR-1165"},{"key":"30_CR26","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence\u00a025, 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"30_CR27","doi-asserted-by":"crossref","unstructured":"Partee, B., Rooth, M.: Generalized conjunction and type ambiguity. In: Baeuerle, R., Schwarze, C., von Stechov, A. (eds.) Meaning, Use, and Interpretation, pp. 361\u2013383 (1983)","DOI":"10.1515\/9783110852820.361"},{"key":"30_CR28","unstructured":"Silverthorn, B., Lierler, Y., Schneider, M.: Surviving solver sensitivity: An asp practitioner\u2019s guide (2012) (under review)"},{"key":"30_CR29","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6591.001.0001","volume-title":"The syntactic process","author":"M. Steedman","year":"2000","unstructured":"Steedman, M.: The syntactic process. MIT Press, London (2000)"},{"key":"30_CR30","doi-asserted-by":"crossref","unstructured":"Vijay-Shanker, K., Weir, D.J.: Polynomial time parsing of combinatory categorial grammars. In: Proceedings of the 28th Annual Meeting on Association for Computational Linguistics, ACL 1990, pp. 1\u20138 (1990)","DOI":"10.3115\/981823.981824"},{"key":"30_CR31","unstructured":"White, M., Baldridge, J.: Adapting chart realization to CCG. In: European Workshop on Natural Language Generation, EWNLG 2003 (2003)"},{"key":"30_CR32","doi-asserted-by":"crossref","unstructured":"Wittenburg, K.: Predictive combinators: a method for efficient processing of combinatory categorial grammars. In: 25th Annual Meeting of the Association for Computational Linguistics (ACL 1987), pp. 73\u201380 (1987)","DOI":"10.3115\/981175.981186"},{"key":"30_CR33","unstructured":"Wittocx, J.: IDPDraw (2009), Katholieke Universiteit Leuven, http:\/\/dtai.cs.kuleuven.be\/krr\/software\/download"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T06:43:50Z","timestamp":1743230630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}