{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:06:21Z","timestamp":1725570381149},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_17","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T17:10:11Z","timestamp":1290186611000},"page":"226-239","source":"Crossref","is-referenced-by-count":5,"title":["Planning with Different Forms of Domain-Dependent Control Knowledge \u2014 An Answer Set Programming Approach"],"prefix":"10.1007","author":[{"given":"Tran Cao","family":"Son","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chitta","family":"Baral","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila","family":"McIlraith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Baral, C., and Gelfond, M. Reasoning agents in dynamic domains. In Minker, J,. ed., Logic-Based Artificial Intelligence, Kluwer Academic Publishers, (2000), 257\u2013279, 215, 217, 224","key":"17_CR1","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M., and Provetti, A. Reasoning about actions: laws, observations, and hypotheses. In Journal of Logic Programming, volume 31, 201\u2013244, 1994. 216","journal-title":"Journal of Logic Programming"},{"unstructured":"Baral, C., McIlraith, S., and Son, T. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proceedings of the 2000 KR Conference, 311\u2013322, 2000. 216, 224","key":"17_CR3"},{"doi-asserted-by":"crossref","unstructured":"de Kleer, J., Mackworth, A., and Reiter, R. Characterizing diagnoses and systems. In Artificial Intelligence, volume 56(2-3), 197\u2013222, 1992.","key":"17_CR4","DOI":"10.1016\/0004-3702(92)90027-U"},{"unstructured":"Gelfond, M., and Lifschitz, V. The stable model semantics for logic programming. In Logic Programming: Proc. of the Fifth Int\u2019l Conf. and Symp., 1070\u20131080, 1988.","key":"17_CR5"},{"doi-asserted-by":"crossref","unstructured":"Gelfond, M., and Lifschitz, V. Classical negation in logic programs and disjunctive databases. In New Generation Computing, 365\u2013387, 1991. 213","key":"17_CR6","DOI":"10.1007\/BF03037169"},{"unstructured":"Gelfond, M., and Lifschitz, V. Representing actions in extended logic programs. In Proc. of Joint International Conference and Symposium on Logic Programming, 559\u2013573, 1992.","key":"17_CR7"},{"unstructured":"Gelfond, M., and Lifschitz, V. Action languages. In Electronic Transactions on AI, volume 3(16), 1998.","key":"17_CR8"},{"doi-asserted-by":"crossref","unstructured":"Lifschitz, V. Action languages, Answer Sets, and Planning. In The Logic Programming Paradigm: a 25-Year Perspective. 357\u2013373, Springer Verlag, 1999. 224","key":"17_CR9","DOI":"10.1007\/978-3-642-60085-2_16"},{"doi-asserted-by":"crossref","unstructured":"Marek, W., and Truszczynski, M. Stable models and an alternative logic paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, 375\u2013398, Springer Verlag, 1999. 217, 224","key":"17_CR10","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"17_CR11","first-page":"57","volume":"32","author":"T. McCain","year":"1995","unstructured":"McCain, T., and Turner, H. A causal theory of ramifications and qualifications. In Artificial Intelligence, volume 32, 57\u201395, 1995. 219, 224","journal-title":"Artificial Intelligence"},{"unstructured":"McIlraith, T. Explanatory diagnosis conjecturing actions to explain observations. In Proceedings of the 1998 KR Conference, 167\u2013177, 1998. 224","key":"17_CR12"},{"issue":"3-4","key":"17_CR13","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemela","year":"1999","unstructured":"Niemela, I. Logic programs with stable model semantics as a constraint programming paradigm. In Annals of Mathematics and Artificial Intelligence, 25(3-4), 241\u2013273, 1999. 224","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"17_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Proc. of LPNMR\u201997","author":"I. Niemela","year":"1997","unstructured":"Niemela, I., and Simons, P. SMODELS-an implementation of the well-founded and stable model semantics for normal logic programs. In Proc. of LPNMR\u201997, volume 1265 of Lecture Notes in Computer Science, 420\u2013429, 1997. 217"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R. A theory of diagnosis from first principles. In Artificial Intelligence, volume 32, 57\u201395, 1987. 215, 224","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Simons, P. Extending the stable model semantics with more expressive rules. In 5th International Conference, LPNMR\u201999, 305\u2013316, 1999. 219","key":"17_CR16","DOI":"10.1007\/3-540-46767-X_22"},{"unstructured":"Thielscher, M. A theory of dynamic diagnosis. In Linkoping Electronic Articles in Computer and Information Science, volume 2(11), 1997. 224","key":"17_CR17"},{"issue":"1-3","key":"17_CR18","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"H. Turner","year":"1997","unstructured":"H. Turner. Representing actions in logic programs and default theories. In Journal of Logic Programming, 31(1-3):245\u2013298, May 1997. 219","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"Eiter, T., Faber, Leone, N., Pfeifer, G. Declarative Problem Solving in DLV In Minker, J,. ed., Logic-Based Artificial Intelligence, Kluwer Academic Publishers, 257\u2013279, 2000. 221","key":"17_CR19","DOI":"10.1007\/978-1-4615-1567-8_4"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T07:43:15Z","timestamp":1559806995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}