{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:24:52Z","timestamp":1725686692472},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_38","type":"book-chapter","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T23:49:46Z","timestamp":1338594586000},"page":"560-575","source":"Crossref","is-referenced-by-count":2,"title":["A New Incarnation of Action Language H"],"prefix":"10.1007","author":[{"given":"Sandeep","family":"Chintabathina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Watson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","unstructured":"Balduccini, M.: Representing constraint satisfaction problems in answer set programming. In: ICLP 2009 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2009) (July 2009)"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 257\u2013279. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"38_CR3","unstructured":"Baral, C., Son, T., Tuan, L.: A transition function based characterization of actions with delayed and continuous effects. In: Proc. of KR 2002, pp. 291\u2013302 (2002)"},{"key":"38_CR4","unstructured":"Chintabathina, S., Gelfond, M., Watson, R.: Modeling hybrid domains using process description language. In: Proc. of ASP 2005, pp. 303\u2013317 (2005)"},{"key":"38_CR5","unstructured":"Chintabathina, S.: Towards Answer Set Progamming Based Architectures for Intelligent Agents. PhD Dissertation. Texas Tech University (December 2010)"},{"key":"38_CR6","first-page":"1070","volume-title":"Proc. of ICLP 1988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proc. of ICLP 1988, pp. 1070\u20131080. The MIT Press, Cambridge (1988)"},{"issue":"3\/4","key":"38_CR7","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(3\/4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"38_CR8","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming\u00a017, 301\u2013321 (1993)","journal-title":"Journal of Logic Programming"},{"key":"38_CR9","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on AI\u00a03(16) (1998)"},{"key":"38_CR10","unstructured":"McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In: Mellish, C. (ed.) Proc. of IJCAI 1995, pp. 1978\u20131984. Morgan Kaufmann (1995)"},{"key":"38_CR11","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"38_CR12","unstructured":"Mellarkod, V.: Integrating ASP and CLP Systems: Computing Answer Sets from Partially Ground Programs. Texas Tech University (2007)"},{"key":"38_CR13","unstructured":"Mellarkod, V., Gelfond, M., Zhang, Y.: Integrating Answer Set Programming and Constraint Logic Programming. In: Proc. of ISAIM 2008 (2008), \n                  \n                    http:\/\/isaim2008.unl.edu\/index.php"},{"key":"38_CR14","unstructured":"Mellarkod, V.: Optimizing The Computation Of Stable Models Using Merged Rules. Masters Thesis. Texas Tech University (May 2002)"},{"key":"38_CR15","unstructured":"Ricardo Morales, A.: Improving Efficiency of Solving Computational Problems with ASP. PhD Dissertation. Texas Tech University (December 2010)"},{"key":"38_CR16","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"38_CR17","unstructured":"Shanahan, M.: Solving the frame problem. MIT Press (1997)"},{"key":"38_CR18","doi-asserted-by":"crossref","unstructured":"Shanahan, M.: The event calculus explained. In: Artificial Intelligence Today, pp. 409\u2013430 (1999)","DOI":"10.1007\/3-540-48317-9_17"},{"issue":"1-3","key":"38_CR19","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"H. Turner","year":"1997","unstructured":"Turner, H.: Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming\u00a031(1-3), 245\u2013298 (1997)","journal-title":"Journal of Logic Programming"}],"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_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T18:17:38Z","timestamp":1556821058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}