{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:06:17Z","timestamp":1725570377183},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_16","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T17:10:11Z","timestamp":1290186611000},"page":"213-225","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Diagnosing Physical Systems in A-Prolog"],"prefix":"10.1007","author":[{"given":"Michael","family":"Gelfond","sequence":"first","affiliation":[]},{"given":"Marcello","family":"Balduccini","sequence":"additional","affiliation":[]},{"given":"Joel","family":"Galloway","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"key":"16_CR1","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","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"16_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"},{"key":"16_CR3","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"},{"issue":"2-3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer de","year":"1992","unstructured":"de Kleer, J., Mackworth, A., and Reiter, R. Characterizing diagnoses and systems. In Artificial Intelligence, volume 56(2-3), 197\u2013222, 1992.","journal-title":"Artificial Intelligence"},{"key":"16_CR5","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":"16_CR6","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","DOI":"10.1007\/BF03037169"},{"key":"16_CR7","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":"16_CR8","unstructured":"Gelfond, M., and Lifschitz, V. Action languages. In Electronic Transactions on AI, volume 3(16), 1998."},{"key":"16_CR9","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","DOI":"10.1007\/978-3-642-60085-2_16"},{"key":"16_CR10","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","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"16_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"},{"key":"16_CR12","unstructured":"McIlraith, T. Explanatory diagnosis conjecturing actions to explain observations. In Proceedings of the 1998 KR Conference, 167\u2013177, 1998. 224"},{"issue":"3-4","key":"16_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":"16_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":"16_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"},{"key":"16_CR16","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","DOI":"10.1007\/3-540-46767-X_22"},{"key":"16_CR17","unstructured":"Thielscher, M. A theory of dynamic diagnosis. In Linkoping Electronic Articles in Computer and Information Science, volume 2(11), 1997. 224"},{"issue":"1-3","key":"16_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"},{"key":"16_CR19","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","DOI":"10.1007\/978-1-4615-1567-8_4"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:53:11Z","timestamp":1558263191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"17 July 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}