{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:24:42Z","timestamp":1725686682622},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_21","type":"book-chapter","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T23:49:46Z","timestamp":1338594586000},"page":"311-326","source":"Crossref","is-referenced-by-count":3,"title":["Toward Question Answering in Travel Domains"],"prefix":"10.1007","author":[{"given":"Yana","family":"Todorova","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"21_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.artint.2003.08.002","volume":"153","author":"V. Akman","year":"2004","unstructured":"Akman, V., Erdogan, S.T., Lee, J., Lifschitz, V., Turner, H.: Representing the zoo world and the traffic world in the language of the causal calculator. Artif. Intell.\u00a0153(1-2), 105\u2013140 (2004)","journal-title":"Artif. Intell."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Balduccini, M., Baral, C., Lierler, Y.: Handbook of Knowledge Representation. In: Knowledge Representation and Question Answering, ch.1. Elsevier (2007)","DOI":"10.1016\/S1574-6526(07)03020-9"},{"key":"21_CR3","unstructured":"Baral, C., Gelfond, M., Gelfond, G., Scherl, R.: Textual Inference by Combining Multiple Logic Programming Paradigms. In: AAAI 2005 Workshop on Inference for Textual Question Answering (2005)"},{"key":"21_CR4","unstructured":"Baral, C., Gelfond, M., Scherl, R.: Using answer set programming to answer complex queries. In: Workshop on Pragmatics of Question Answering at HLT-NAAC 2004 (2004)"},{"key":"21_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/3-540-45757-7_50","volume-title":"Logics in Artificial Intelligence","author":"N. Leone","year":"2002","unstructured":"Leone, N., Pfeifer, G., Faber, W., Calimeri, F., Dell\u2019Armi, T., Eiter, T., Gottlob, G., Ianni, G., Ielpa, G., Koch, C., Perri, S., Polleres, A.: The DLV System. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 537\u2013540. Springer, Heidelberg (2002)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving, ch.5. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"21_CR7","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A User\u2019s Guide to gringo, clasp, clingo, and iclingo. Unpublished draft (2008), \n                  \n                    http:\/\/downloads.sourceforge.net\/potassco\/guide.pdf"},{"key":"21_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-72200-7_13","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-Driven Answer Set Enumeration. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 136\u2013148. Springer, Heidelberg (2007)"},{"key":"21_CR9","unstructured":"Gelfond, M., Inclezan, D.: Yet another modular action language. In: Proceedings of the Second International Workshop on Software Engineering for Answer Set Programming, pp. 64\u201378 (2009)"},{"key":"21_CR10","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":"21_CR11","unstructured":"Gelfond, M., Lifschitz, V.: Representing Actions in Extended Logic Programs. In: Joint International Conference and Symposium on Logic Programming, pp. 559\u2013573. MIT Press (1992)"},{"key":"21_CR12","unstructured":"Gelfond, M., Lifschitz, V.: Action Languages. Electronic Transactions on AI\u00a03 (1998)"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Lifschitz, V., McCain, N., Remolina, E., Tacchella, A.: Getting to the airport: the oldest planning problem in ai. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 147\u2013165. Kluwer (2000)","DOI":"10.1007\/978-1-4615-1567-8_7"},{"key":"21_CR14","unstructured":"Lifschitz, V., Ren, W.: A modular action description language. In: AAAI (2006)"},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczynski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer, Berlin (1999)"},{"key":"21_CR16","unstructured":"Niemela, I.: Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. In: Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, pp. 72\u201379 (June 1998)"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemela","year":"1997","unstructured":"Niemela, I., Simons, P.: Smodels - An Implementation of the Stable Model and Well-founded Semantics for Normal logic Programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Niemela, I., Simons, P.: Extending the Smodels System with Cardinality and Weight Constraints. In: Logics in Artificial Intelligence. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-1567-8_21"},{"key":"21_CR19","unstructured":"Todorova, Y.: Answering questions about dynamic domains from natural language using ASP. PhD Dissertation (2011)"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Turner, H.: Representing Actions In Logic Programs And Default Theories. Journal of Logic Programming, 245\u2013298 (1997)","DOI":"10.1016\/S0743-1066(96)00125-2"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T18:23:30Z","timestamp":1556821410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}