{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:07:46Z","timestamp":1725530866403},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642009082"},{"type":"electronic","value":"9783642009099"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00909-9_14","type":"book-chapter","created":{"date-parts":[[2009,4,16]],"date-time":"2009-04-16T23:18:25Z","timestamp":1239923905000},"page":"139-149","source":"Crossref","is-referenced-by-count":0,"title":["Side-Effect Inspection for Decision Making"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Alexandre Miguel","family":"Pinto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Alferes, J., Leite, J., Pereira, L., Quaresma, P.: Planning as abductive updating. In: Kitchin, D. (ed.) Procs. of AISB 2000 (2000)"},{"key":"14_CR2","unstructured":"Alferes, J.J., Pereira, L.M., Swift, T.: Well-founded abduction via tabled dual programs. In: Intl. Conf. on Logic Programming, pp. 426\u2013440 (1999)"},{"issue":"4","key":"14_CR3","first-page":"383","volume":"4","author":"J.J. Alferes","year":"2004","unstructured":"Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in well-founded semantics and generalized stable models via tabled dual programs. TPLP\u00a04(4), 383\u2013428 (2004)","journal-title":"TPLP"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/11562931_14","volume-title":"Logic Programming","author":"H. Christiansen","year":"2005","unstructured":"Christiansen, H., Dahl, V.: Hyprolog: A new logic programming language with assumptions and abduction. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 159\u2013173. Springer, Heidelberg (2005)"},{"key":"14_CR5","unstructured":"Citrigno, S., Eiter, T., Faber, W., Gottlob, G., Koch, C., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The dlv system: Model generator and advanced frontends (system description). In: Workshop Logische Programmierung (1997)"},{"issue":"5","key":"14_CR6","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"Console, L., Theseider Dupre, D., Torasso, P.: On the relationship between abduction and deduction. J. of Logic and Computation\u00a01(5), 661\u2013690 (1991)","journal-title":"J. of Logic and Computation"},{"key":"14_CR7","first-page":"686","volume-title":"Procs. of the Joint Intl. Conf. and Symposium on Logic Programming","author":"M. Denecker","year":"1992","unstructured":"Denecker, M., De Schreye, D.: Sldnfa: An abductive procedure for normal abductive programs. In: Apt (ed.) Procs. of the Joint Intl. Conf. and Symposium on Logic Programming, Washington, USA, pp. 686\u2013700. The MIT Press, Cambridge (1992)"},{"key":"14_CR8","first-page":"3","volume-title":"ICLP","author":"P.M. Dung","year":"1991","unstructured":"Dung, P.M.: Negations as hypotheses: An abductive foundation for logic programming. In: ICLP, pp. 3\u201317. MIT Press, Cambridge (1991)"},{"issue":"1\u20132","key":"14_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0304-3975(96)00179-X","volume":"189","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Leone, N.: Abduction from logic programs: semantics and complexity. Theoretical Computer Science\u00a0189(1\u20132), 129\u2013177 (1997)","journal-title":"Theoretical Computer Science"},{"key":"14_CR10","first-page":"1070","volume-title":"ICLP\/SLP","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"2","key":"14_CR11","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0743-1066(95)00119-0","volume":"27","author":"K. Inoue","year":"1996","unstructured":"Inoue, K., Sakama, C.: A fixpoint characterization of abductive logic programs. Journal of Logic Programming\u00a027(2), 107\u2013136 (1996)","journal-title":"Journal of Logic Programming"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3540635149_47","volume-title":"Inductive Logic Programming","author":"A.C. Kakas","year":"1997","unstructured":"Kakas, A.C., Riguzzi, F.: Learning with abduction. In: D\u017eeroski, S., Lavra\u010d, N. (eds.) ILP 1997. LNCS, vol.\u00a01297, pp. 181\u2013188. Springer, Heidelberg (1997)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, 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":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-77002-2_7","volume-title":"Progress in Artificial Intelligence","author":"L.M. Pereira","year":"2007","unstructured":"Pereira, L.M., Lopes, G.: Prospective logic agents. In: Neves, J., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. LNCS (LNAI), vol.\u00a04874, pp. 73\u201386. Springer, Heidelberg (2007)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the Practical Aspects of Declarative Languages","author":"L.M. Pereira","year":"2009","unstructured":"Pereira, L.M., Pinto, A.M.: Layered models top-down querying of normal logic programs. In: Proceedings of the Practical Aspects of Declarative Languages. LNCS. Springer, Heidelberg (to appear, 2009)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/3-540-46238-4_5","volume-title":"AI*IA 99:Advances in Artificial Intelligence","author":"F. Sadri","year":"2000","unstructured":"Sadri, F., Toni, F.: Abduction with negation as failure for active and reactive rules. In: Lamma, E., Mello, P. (eds.) AI*IA 1999. LNCS, vol.\u00a01792, pp. 49\u201360. Springer, Heidelberg (2000)"}],"container-title":["Studies in Computational Intelligence","New Advances in Intelligent Decision Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00909-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T09:50:36Z","timestamp":1619776236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00909-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642009082","9783642009099"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00909-9_14","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}