{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:25:25Z","timestamp":1725495925142},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540770008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77002-2_7","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T10:22:54Z","timestamp":1195208574000},"page":"73-86","source":"Crossref","is-referenced-by-count":10,"title":["Prospective Logic Agents"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Gon\u00e7alo","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Abduction with hypotheses confirmation. In: IJCAI 2005. Proc. of the 19th Intl. Joint Conf. on Artificial Intelligence, pp. 1545\u20131546 (2005)"},{"key":"7_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"issue":"1-3","key":"7_CR3","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. J. Logic Programming\u00a045(1-3), 43\u201370 (2000)","journal-title":"J. Logic Programming"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Barata, J., Ribeiro, L., Onori, M.: Diagnosis on evolvable production systems. In: ISIE 2007. Procs. of the IEEE Intl. Symp. on Industrial Electronics, Vigo, Spain (forthcoming, 2007)","DOI":"10.1109\/ISIE.2007.4375131"},{"key":"7_CR5","unstructured":"Castro, L., Swift, T., Warren, D.S.: XASP: Answer Set Programming with XSB and Smodels. http:\/\/xsb.sourceforge.net\/packages\/xasp.pdf"},{"key":"7_CR6","unstructured":"Dell\u2019Acqua, P., Pereira, L.M.: Preferential theory revision. In: Pereira, L.M., Wheeler, G. (eds.) Procs. Computational Models of Scientific Reasoning and Applications, pp. 69\u201384 (2005)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Dell\u2019Acqua, P., Pereira, L.M.: Preferential theory revision (ext.). J. Applied Logic (2007)","DOI":"10.1016\/j.jal.2006.03.010"},{"issue":"3","key":"7_CR8","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","volume":"22","author":"J. Dix","year":"1995","unstructured":"Dix, J.: A classification theory of semantics of normal logic programs: i. strong properties, ii. weak properties. Fundamenta Informaticae\u00a022(3), 227\u2013255, 257\u2013288 (1995)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR9","first-page":"235","volume-title":"Handbook of logic in Artificial Intelligence and Logic Programming","author":"A. Kakas","year":"1998","unstructured":"Kakas, A., Kowalski, R., Toni, F.: The role of abduction in logic programming. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 235\u2013324. Oxford University Press, Oxford (1998)"},{"key":"7_CR10","unstructured":"Kowalski, R.: How to be artificially intelligent (2002-2006), http:\/\/www.doc.ic.ac.uk\/~rak\/"},{"key":"7_CR11","series-title":"LNAI","first-page":"1","volume-title":"Proceedings of CLIMA VI","author":"R. Kowalski","year":"2006","unstructured":"Kowalski, R.: The logical way to be artificially intelligent. In: Toni, F., Torroni, P. (eds.) Proceedings of CLIMA VI. LNCS (LNAI), pp. 1\u201322. Springer, Heidelberg (2006)"},{"key":"7_CR12","unstructured":"Kowalski, R.: Private communication (2007)"},{"key":"7_CR13","unstructured":"Lopes, G., Pereira, L.M.: Prospective logic programming with ACORDA. In: Sutcliffe, G., Schmidt, R., Schulz, S. (eds.) Procs. of the FLoC 2006 Ws. on Empirically Successful Computerized Reasoning, 3rd Intl. J. Conf. on Automated Reasoning, CEUR Workshop Procs., vol.\u00a0192 (2006)"},{"key":"7_CR14","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":"7_CR15","series-title":"LNAI","volume-title":"EPIA 2007. Procs. 13th Portuguese Intl. Conf. on Artificial Intelligence","author":"L.M. Pereira","year":"2007","unstructured":"Pereira, L.M., Saptawijaya, A.: Modelling morality with prospective logic. In: Neves, J.M., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. Procs. 13th Portuguese Intl. Conf. on Artificial Intelligence. LNCS (LNAI), Springer, Heidelberg (2007)"},{"issue":"1-2","key":"7_CR16","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence\u00a094(1-2), 7\u201356 (1997)","journal-title":"Artificial Intelligence"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0743-1066(99)00071-0","volume":"44","author":"D. Poole","year":"2000","unstructured":"Poole, D.: Abducing through negation as failure: Stable models within the independent choice logic. Journal of Logic Programming\u00a044, 5\u201335 (2000)","journal-title":"Journal of Logic Programming"},{"issue":"3-4","key":"7_CR18","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1018990308362","volume":"25","author":"T. Swift","year":"1999","unstructured":"Swift, T.: Tabling for non-monotonic programming. Annals of Mathematics and Artificial Intelligence\u00a025(3-4), 201\u2013240 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77002-2_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:08:40Z","timestamp":1606165720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77002-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540770008"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77002-2_7","relation":{},"subject":[]}}