{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:04:54Z","timestamp":1740287094063,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":132,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642143083"},{"type":"electronic","value":"9783642143090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14309-0_5","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T13:09:58Z","timestamp":1277298598000},"page":"87-111","source":"Crossref","is-referenced-by-count":3,"title":["Knowledge Representation and Non-monotonic Reasoning"],"prefix":"10.1007","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Toni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logic (ToCL)\u00a09(4) (2008)","DOI":"10.1145\/1380572.1380578"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Dung, P.M., Pereira, L.M.: Scenario semantics of extended logic programs. In: LPNMR, pp. 334\u2013348 (1993)","DOI":"10.7551\/mitpress\/4307.003.0029"},{"key":"5_CR3","series-title":"Advances in Information Security","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-0-387-27696-0_6","volume-title":"Secure Data Management in Decentralized Systems","author":"G. Antoniou","year":"2007","unstructured":"Antoniou, G., Baldoni, M., Bonatti, P.A., Nejdl, W., Olmedilla, D.: Rule-based policy specification. In: Secure Data Management in Decentralized Systems. Advances in Information Security, vol.\u00a033, pp. 169\u2013216. Springer, Heidelberg (2007)"},{"issue":"6","key":"5_CR4","first-page":"703","volume":"6","author":"G. Antoniou","year":"2006","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. TPLP\u00a06(6), 703\u2013735 (2006)","journal-title":"TPLP"},{"key":"5_CR5","unstructured":"Baier, J.A., McIlraith, S.A.: On planning with programs that sense. In: KR, pp. 492\u2013502 (2006)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/978-3-642-14309-0_10","volume-title":"25 Years of Logic Programming in Italy, ch. 10","author":"M. Baldoni","year":"2010","unstructured":"Baldoni, M., Baroglio, C., Mascardi, V., Omicini, A., Torroni, P.: Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming in Italy, ch. 10. LNCS, vol.\u00a06125, pp. 204\u2013230. Springer, Heidelberg (2010)"},{"issue":"2-4","key":"5_CR7","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/B:AMAI.0000031196.24935.b5","volume":"41","author":"M. Baldoni","year":"2004","unstructured":"Baldoni, M., Martelli, A., Patti, V., Giordano, L.: Programming rational agents in a modal action logic. Ann. Math. Artif. Intell.\u00a041(2-4), 207\u2013257 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/11907466_16","volume-title":"Large Scale Management of Distributed Systems","author":"A.K. Bandara","year":"2006","unstructured":"Bandara, A.K., Kakas, A.C., Lupu, E.C., Russo, A.: Using argumentation logic for firewall policy specification and analysis. In: State, R., van der Meer, S., O\u2019Sullivan, D., Pfeifer, T. (eds.) DSOM 2006. LNCS, vol.\u00a04269, pp. 185\u2013196. Springer, Heidelberg (2006)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. Journal of Logic Programming\u00a019, 73\u2013148 (1994)","journal-title":"Journal of Logic Programming"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains, pp. 257\u2013279 (2000)","DOI":"10.1007\/978-1-4615-1567-8_12"},{"issue":"1-3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. J. Log. Program.\u00a031(1-3), 201\u2013243 (1997)","journal-title":"J. Log. Program."},{"key":"5_CR12","unstructured":"Baral, C., McIlraith, S., Son, T.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), Breckenridge, Colorado, USA, April 12-15, pp. 311\u2013322 (2000)"},{"issue":"1-3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0743-1066(96)00123-9","volume":"31","author":"K.V. Belleghem","year":"1997","unstructured":"Belleghem, K.V., Denecker, M., Schreye, D.D.: On the relation between situation calculus and event calculus. J. Log. Program.\u00a031(1-3), 3\u201337 (1997)","journal-title":"J. Log. Program."},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-3-642-14309-0_8","volume-title":"25 Years of Logic Programming in Italy, ch. 8","author":"P. Bonatti","year":"2010","unstructured":"Bonatti, P., Calimeri, F., Leone, N., Ricca, F.: Answer Set Programming. In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming in Italy, ch. 8. LNCS, vol.\u00a06125, pp. 159\u2013182. Springer, Heidelberg (2010)"},{"issue":"1","key":"5_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00881911","volume":"13","author":"P.A. Bonatti","year":"1994","unstructured":"Bonatti, P.A.: Autoepistemic logic programming. J. Autom. Reasoning\u00a013(1), 35\u201367 (1994)","journal-title":"J. Autom. Reasoning"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.artint.2004.02.001","volume":"156","author":"P.A. Bonatti","year":"2004","unstructured":"Bonatti, P.A.: Reasoning with infinite stable models. Artif. Intell.\u00a0156(1), 75\u2013111 (2004)","journal-title":"Artif. Intell."},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/11762256_51","volume-title":"The Semantic Web: Research and Applications","author":"P.A. Bonatti","year":"2006","unstructured":"Bonatti, P.A., Duma, C., Fuchs, N., Nejdl, W., Olmedilla, D., Peer, J., Shahmehri, N.: Semantic web policies \u2013 A discussion of requirements and research issues. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 712\u2013724. Springer, Heidelberg (2006)"},{"issue":"1-2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence\u00a093(1-2), 63\u2013101 (1997)","journal-title":"Artificial Intelligence"},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"171","DOI":"10.7551\/mitpress\/4307.003.0016","volume-title":"Proc. 2nd International Workshop on Logic Programming and Non-monotonic Reasoning","author":"A. Bondarenko","year":"1993","unstructured":"Bondarenko, A., Toni, F., Kowalski, R.: An assumption-based framework for non-monotonic reasoning. In: Nerode, A., Pereira, L. (eds.) Proc. 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, pp. 171\u2013189. MIT Press, Cambridge (1993)"},{"issue":"1","key":"5_CR20","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0743-1066(95)00076-3","volume":"27","author":"F. Buccafurri","year":"1996","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Stable models and their computation for logic programming with inheritance and true negation. J. Log. Program.\u00a027(1), 5\u201343 (1996)","journal-title":"J. Log. Program."},{"issue":"2","key":"5_CR21","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1111\/0824-7935.00115","volume":"16","author":"I. Cervesato","year":"2000","unstructured":"Cervesato, I., Franceschet, M., Montanari, A.: A guided tour through some extensions of the Event Calculus. Computational Intelligence\u00a016(2), 307\u2013347 (2000)","journal-title":"Computational Intelligence"},{"issue":"2","key":"5_CR22","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(98)10021-3","volume":"38","author":"I. Cervesato","year":"1999","unstructured":"Cervesato, I., Montanari, A.: A general modal framework for the Event Calculus and its skeptical and creduluos variants. J. Log. Program.\u00a038(2), 111\u2013164 (1999)","journal-title":"J. Log. Program."},{"issue":"1","key":"5_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","volume":"2","author":"A. Chandra","year":"1985","unstructured":"Chandra, A., Harel, D.: Horn clause queries and generalizations. Journal of Logic Programming\u00a02(1), 1\u20135 (1985)","journal-title":"Journal of Logic Programming"},{"key":"5_CR24","first-page":"8","volume":"8","author":"W. Chen","year":"1994","unstructured":"Chen, W., Warren, D.S.: Computation of stable models and its integration with logical query processing. IEEE Transactions on Knowledge and Data Engineering\u00a08, 8\u20135 (1994)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"5_CR25","unstructured":"Chittaro, L., Montanari, A., Provetti, A.: Skeptical and credoluos event calculi for supporting modal queries. In: ECAI 1994, pp. 361\u2013365 (1994)"},{"key":"5_CR26","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":"5_CR27","doi-asserted-by":"crossref","unstructured":"Clark, K.L.: Negation as failure. In: Logic and Data Bases. Plenum Press (1978)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"5_CR28","unstructured":"Console, L., Dupr\u00e9, D.T., Torasso, P.: A theory of diagnosis for incomplete causal models. In: IJCAI, pp. 1311\u20131317 (1989)"},{"issue":"5","key":"5_CR29","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"Console, L., Dupre, D.T., Torasso, P.: On the relationship between abduction and deduction. Journal of Logic and Computation\u00a01(5), 661\u2013690 (1991)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR30","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"Console, L., Torasso, P.: A spectrum of logical definitions of model-based diagnosis. Computational Intelligence\u00a07, 133\u2013141 (1991)","journal-title":"Computational Intelligence"},{"issue":"2","key":"5_CR31","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(94)00259-L","volume":"149","author":"S. Costantini","year":"1995","unstructured":"Costantini, S.: Contributions to the stable model semantics of logic programs with negation. Theor. Comput. Sci.\u00a0149(2), 231\u2013255 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"1-2","key":"5_CR32","first-page":"169","volume":"6","author":"S. Costantini","year":"2006","unstructured":"Costantini, S.: On the existence of stable models of non-stratified logic programs. TPLP\u00a06(1-2), 169\u2013212 (2006)","journal-title":"TPLP"},{"issue":"3","key":"5_CR33","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv.\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"5_CR34","first-page":"1221","volume-title":"IJCAI 1997: Proceedings of the Fifteenth international joint conference on Artifical intelligence","author":"G. Giacomo De","year":"1997","unstructured":"De Giacomo, G., Lesperance, Y., Levesque, H.J.: Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In: IJCAI 1997: Proceedings of the Fifteenth international joint conference on Artifical intelligence, pp. 1221\u20131226. Morgan Kaufmann Publishers Inc., San Francisco (1997)"},{"key":"5_CR35","first-page":"86","volume-title":"Logical Foundations for Cognitive Agents","author":"G. Giacomo De","year":"1998","unstructured":"De Giacomo, G., Levesque, H.J.: An incremental interpreter for high-level programs with sensing. In: Logical Foundations for Cognitive Agents, pp. 86\u2013102. Springer, Heidelberg (1998)"},{"issue":"2","key":"5_CR36","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J.: An assumption-based tms. Artif. Intell.\u00a028(2), 127\u2013162 (1986)","journal-title":"Artif. Intell."},{"issue":"4","key":"5_CR37","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1145\/383779.383789","volume":"2","author":"M. Denecker","year":"2001","unstructured":"Denecker, M., Bruynooghe, M., Marek, V.W.: Minimal belief and negation as failure. ACM Trans. Comput. Log.\u00a02(4), 623\u2013654 (2001)","journal-title":"ACM Trans. Comput. Log."},{"key":"5_CR38","first-page":"25","volume":"2","author":"M. Denecker","year":"1998","unstructured":"Denecker, M., Dupr\u00e9, D.T., Belleghem, K.V.: An inductive definition approach to ramifications. Electron. Trans. Artif. Intell.\u00a02, 25\u201367 (1998)","journal-title":"Electron. Trans. Artif. Intell."},{"key":"5_CR39","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45628-7_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Denecker","year":"2002","unstructured":"Denecker, M., Kakas, A.C.: Abduction in Logic Programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond, Part I. LNCS (LNAI), vol.\u00a02407, pp. 402\u2013436. Springer, Heidelberg (2002)"},{"key":"5_CR40","first-page":"147","volume-title":"Proc. of the International Symposium on Logic Programming","author":"M. Denecker","year":"1993","unstructured":"Denecker, M., Schreye, D.D.: Representing incomplete knowledge in abductive logic programming. In: Proc. of the International Symposium on Logic Programming, pp. 147\u2013163. MIT Press, Cambridge (1993)"},{"issue":"2","key":"5_CR41","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M. Denecker","year":"1998","unstructured":"Denecker, M., Schreye, D.D.: SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming\u00a034(2), 111\u2013167 (1998)","journal-title":"Journal of Logic Programming"},{"key":"5_CR42","series-title":"Lecture Notes in Computer Science","volume-title":"25 Years of Logic Programming in Italy","year":"2010","unstructured":"Dovier, A., Pontelli, E. (eds.): 25 Years of Logic Programming in Italy. LNCS, vol.\u00a06125. Springer, Heidelberg (2010)"},{"issue":"3","key":"5_CR43","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J.: A truth maintenance system. Artif. Intell.\u00a012(3), 231\u2013272 (1979)","journal-title":"Artif. Intell."},{"issue":"2","key":"5_CR44","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P. Dung","year":"1995","unstructured":"Dung, P.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games. Artificial Intelligence\u00a077(2), 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"key":"5_CR45","volume-title":"Argumentation in AI: The Book","author":"P. Dung","year":"2009","unstructured":"Dung, P., Kowalski, R., Toni, F.: Assumption-based argumentation. In: Rahwan, I., Simari, G. (eds.) Argumentation in AI: The Book. Springer, Heidelberg (2009) (to appear)"},{"key":"5_CR46","unstructured":"Dung, P.M.: Negations as hypotheses: An abductive foundation for logic programming. In: ICLP, pp. 3\u201317 (1991)"},{"key":"5_CR47","unstructured":"Dung, P.M.: Representing actions in logic programming and its applications in database updates. In: ICLP, pp. 222\u2013238 (1993)"},{"issue":"10-15","key":"5_CR48","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1016\/j.artint.2007.05.003","volume":"171","author":"P.M. Dung","year":"2007","unstructured":"Dung, P.M., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. Artificial Intelligence\u00a0171(10-15), 642\u2013674 (2007)","journal-title":"Artificial Intelligence"},{"key":"5_CR49","unstructured":"Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: ICLP, pp. 234\u2013254 (1989)"},{"key":"5_CR50","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke\/Kleene semantics for logic programs. Journal of Logic Programming\u00a02, 295\u2013312 (1985)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"5_CR51","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T.H. Fung","year":"1998","unstructured":"Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming\u00a033(2), 151\u2013165 (1998)","journal-title":"Journal of Logic Programming"},{"issue":"1-3","key":"5_CR52","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0743-1066(99)00072-2","volume":"44","author":"D.M. Gabbay","year":"2000","unstructured":"Gabbay, D.M., Giordano, L., Martelli, A., Olivetti, N., Sapino, M.L.: Conditional reasoning in logic programming. J. Log. Program.\u00a044(1-3), 37\u201374 (2000)","journal-title":"J. Log. Program."},{"key":"5_CR53","first-page":"183","volume-title":"Proceedings of the Second International Conference on Computational Models of Argument (COMMA 2008)","author":"D. Gaertner","year":"2008","unstructured":"Gaertner, D., Toni, F.: Hybrid argumentation and its properties. In: Hunter, A. (ed.) Proceedings of the Second International Conference on Computational Models of Argument (COMMA 2008), pp. 183\u2013195. IOS Press, Amsterdam (2008)"},{"key":"5_CR54","volume-title":"Argumentation in AI: The Book","author":"A.J. Garc\u00eda","year":"2009","unstructured":"Garc\u00eda, A.J., Dix, J., Simari, G.R.: Argument-based logic programming. In: Rahwan, I., Simari, G. (eds.) Argumentation in AI: The Book. Springer, Heidelberg (2009) (to appear)"},{"key":"5_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-642-14309-0_4","volume-title":"25 Years of Logic Programming in Italy, ch. 4","author":"M. Gavanelli","year":"2010","unstructured":"Gavanelli, M., Rossi, F.: Constraint Logic Programming. In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming in Italy, ch. 4. LNCS, vol.\u00a06125, pp. 64\u201386. Springer, Heidelberg (2010)"},{"key":"5_CR56","doi-asserted-by":"crossref","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: PODS, pp. 221\u2013230 (1988)","DOI":"10.1145\/308386.308444"},{"key":"5_CR57","first-page":"1070","volume-title":"Proceedings of the Fifth International Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the Fifth International Conference and Symposium on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"5_CR58","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\u2013322 (1993)","journal-title":"Journal of logic Programming"},{"issue":"16","key":"5_CR59","first-page":"193","volume":"3","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on AI\u00a03(16), 193\u2013210 (1998)","journal-title":"Electronic Transactions on AI"},{"key":"5_CR60","doi-asserted-by":"crossref","unstructured":"Giacomo, G.D., Lenzerini, M.: PDL-based framework for reasoning about actions. In: AI*IA, pp. 103\u2013114 (1995)","DOI":"10.1007\/3-540-60437-5_10"},{"key":"5_CR61","unstructured":"Giordano, L., Martelli, A.: Generalized stable models, truth maintenance and conflict resolution. In: ICLP, pp. 427\u2013441 (1990)"},{"issue":"5","key":"5_CR62","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1093\/logcom\/10.5.625","volume":"10","author":"L. Giordano","year":"2000","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Ramification and causality in a modal action logic. J. Log. Comput.\u00a010(5), 625\u2013662 (2000)","journal-title":"J. Log. Comput."},{"issue":"2","key":"5_CR63","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.jal.2005.12.011","volume":"5","author":"L. Giordano","year":"2007","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and verifying interaction protocols in a temporal action logic. J. Applied Logic\u00a05(2), 214\u2013234 (2007)","journal-title":"J. Applied Logic"},{"issue":"2","key":"5_CR64","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0743-1066(97)10014-0","volume":"36","author":"L. Giordano","year":"1998","unstructured":"Giordano, L., Olivetti, N.: Combining negation as failure and embedded implications in logic programs. J. Log. Program.\u00a036(2), 91\u2013147 (1998)","journal-title":"J. Log. Program."},{"issue":"1-2","key":"5_CR65","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell.\u00a0153(1-2), 49\u2013104 (2004)","journal-title":"Artif. Intell."},{"key":"5_CR66","unstructured":"Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: AAAI\/IAAI, pp. 623\u2013630 (1998)"},{"issue":"2-3","key":"5_CR67","first-page":"180","volume":"14","author":"G. Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in ruleml. Int. J. Cooperative Information Systems\u00a014(2-3), 180\u2013216 (2005)","journal-title":"Int. J. Cooperative Information Systems"},{"key":"5_CR68","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-540-25927-5_8","volume-title":"Deontic Logic in Computer Science","author":"G. Governatori","year":"2004","unstructured":"Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol.\u00a03065, pp. 114\u2013128. Springer, Heidelberg (2004)"},{"key":"5_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/978-3-642-14309-0_9","volume-title":"25 Years of Logic Programming in Italy, ch. 9","author":"S. Greco","year":"2010","unstructured":"Greco, S., Lisi, F.: Logic Programming Languages for Databases and the Web. In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming in Italy, ch. 9. LNCS, vol.\u00a06125, pp. 183\u2013203. Springer, Heidelberg (2010)"},{"issue":"3","key":"5_CR70","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"Hanks, S., McDermott, D.V.: Nonmonotonic logic and temporal projection. Artif. Intell.\u00a033(3), 379\u2013412 (1987)","journal-title":"Artif. Intell."},{"key":"5_CR71","unstructured":"Kakas, A., Mancarella, P.: Generalized stable models: A semantics for abduction. In: ECAI, pp. 385\u2013391 (1990)"},{"issue":"6","key":"5_CR72","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1993","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR73","doi-asserted-by":"crossref","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 235\u2013324. OUP (1998)","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"key":"5_CR74","unstructured":"Kakas, A.C., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proceedings of the 9th European Conference on Artificial Intelligence, pp. 385\u2013391 (1990)"},{"issue":"3&4","key":"5_CR75","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/0743-1066(92)90015-U","volume":"14","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Mancarella, P.: Short note: Preferred extensions are partial stable models. J. Log. Program.\u00a014(3&4), 341\u2013348 (1992)","journal-title":"J. Log. Program."},{"key":"5_CR76","unstructured":"Kakas, A.C., Van Nuffelen, B., Denecker, M.: A-system: Problem solving through abduction. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence, pp. 591\u2013596 (2001)"},{"key":"5_CR77","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11546207_1","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Kifer","year":"2005","unstructured":"Kifer, M.: Nonmonotonic Reasoning in FLORA-2. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 1\u201312. Springer, Heidelberg (2005)"},{"issue":"1","key":"5_CR78","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"5_CR79","unstructured":"Kowalski, R.A.: Predicate logic as programming language. In: IFIP Congress, pp. 569\u2013574 (1974)"},{"issue":"3\/4","key":"5_CR80","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R.A. Kowalski","year":"1971","unstructured":"Kowalski, R.A., Kuehner, D.: Linear resolution with selection function. Artif. Intell.\u00a02(3\/4), 227\u2013260 (1971)","journal-title":"Artif. Intell."},{"issue":"3-4","key":"5_CR81","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF00118494","volume":"4","author":"R.A. Kowalski","year":"1996","unstructured":"Kowalski, R.A., Toni, F.: Abstract argumentation. Artif. Intell. Law\u00a04(3-4), 275\u2013296 (1996)","journal-title":"Artif. Intell. Law"},{"issue":"4","key":"5_CR82","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"Kunen, K.: Negation in logic programming. Journal of Logic Programming\u00a04(4), 289\u2013308 (1987)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"5_CR83","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"Kunen, K.: Signed data dependencies in logic programs. J. Log. Program.\u00a07(3), 231\u2013245 (1989)","journal-title":"J. Log. Program."},{"issue":"6","key":"5_CR84","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1093\/logcom\/3.6.621","volume":"3","author":"N. Leone","year":"1993","unstructured":"Leone, N., Rullo, P.: Ordered logic programming with sets. J. Log. Comput.\u00a03(6), 621\u2013642 (1993)","journal-title":"J. Log. Comput."},{"key":"5_CR85","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"Levesque, H., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031, 59\u201383 (1997)","journal-title":"Journal of Logic Programming"},{"issue":"2-4","key":"5_CR86","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1023\/A:1018921603877","volume":"21","author":"R. Li","year":"1997","unstructured":"Li, R., Pereira, L.M.: Representing and reasoning about concurrent actions with abductive logic programs. Ann. Math. Artif. Intell.\u00a021(2-4), 245\u2013303 (1997)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1-2","key":"5_CR87","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0004-3702(94)90103-1","volume":"70","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V.: Minimal belief and negation as failure. Artificial Intelligence\u00a070(1-2), 53\u201372 (1994)","journal-title":"Artificial Intelligence"},{"key":"5_CR88","unstructured":"Lin, F.: Embracing causality in specifying the indirect effects of actions. In: IJCAI, pp. 1985\u20131993 (1995)"},{"key":"5_CR89","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 1st edn. Springer, Heidelberg (1984)","edition":"1"},{"issue":"6","key":"5_CR90","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068409990093","volume":"9","author":"P. Mancarella","year":"2009","unstructured":"Mancarella, P., Terreni, G., Sadri, F., Toni, F., Endriss, U.: The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. Theory and Practice of Logic Programming\u00a09(6), 691\u2013750 (2009)","journal-title":"Theory and Practice of Logic Programming"},{"key":"5_CR91","unstructured":"McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In: IJCAI, pp. 1978\u20131984 (1995)"},{"key":"#cr-split#-5_CR92.1","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations actions and causal laws. Technical Report. Stanford (1963);","DOI":"10.21236\/AD0785031"},{"key":"#cr-split#-5_CR92.2","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations actions and causal laws. Technical Report. Stanford (1963); Reprinted in Semantic Information Processing (Minsky, M. (ed.)), pp. 410-417. MIT Press, Cambridge (1968)","DOI":"10.21236\/AD0785031"},{"key":"5_CR93","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription\u2014a form of non-monotonic reasoning. Artificial Intelligence\u00a013, 27\u201339 (1980)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"5_CR94","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D.V. McDermott","year":"1982","unstructured":"McDermott, D.V.: Nonmonotonic logic ii: Nonmonotonic modal theories. J. ACM\u00a029(1), 33\u201357 (1982)","journal-title":"J. ACM"},{"key":"5_CR95","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0743-1066(93)90028-F","volume":"17","author":"J. Minker","year":"1993","unstructured":"Minker, J.: An overview of nonmonotonic reasoning and logic programming. Journal of Logic Programming, Special Issue\u00a017, 95\u2013126 (1993)","journal-title":"Journal of Logic Programming, Special Issue"},{"issue":"1","key":"5_CR96","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"Moore, R.C.: Semantical considerations on nonmonotonic logic. Artif. Intell.\u00a025(1), 75\u201394 (1985)","journal-title":"Artif. Intell."},{"key":"5_CR97","unstructured":"Nebel, B.: Belief revision and default reasoning: Syntax-based approaches. In: KR, pp. 417\u2013428 (1991)"},{"key":"5_CR98","first-page":"289","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"I. Niemel","year":"1996","unstructured":"Niemel, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 289\u2013303. MIT Press, Cambridge (1996)"},{"issue":"1-2","key":"5_CR99","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1023\/A:1008274628995","volume":"5","author":"K. Nitta","year":"1997","unstructured":"Nitta, K., Shibasaki, M.: Defeasible reasoning in japanese criminal jurisprudence. Artif. Intell. Law\u00a05(1-2), 139\u2013159 (1997)","journal-title":"Artif. Intell. Law"},{"key":"5_CR100","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/978-3-642-04238-6_54","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V. No\u00ebl","year":"2009","unstructured":"No\u00ebl, V., Kakas, A.C.: Gorgias-c: Extending argumentation with constraint solving. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 535\u2013541. Springer, Heidelberg (2009)"},{"key":"5_CR101","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-36524-9_13","volume-title":"Web Knowledge Management and Decision Support","author":"D. Nute","year":"2003","unstructured":"Nute, D.: Defeasible logic. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS (LNAI), vol.\u00a02543, pp. 87\u2013114. Springer, Heidelberg (2003)"},{"key":"5_CR102","unstructured":"Pednault, E.P.D.: Adl: Exploring the middle ground between strips and the situation calculus. In: KR, pp. 324\u2013332 (1989)"},{"key":"5_CR103","series-title":"Lecture Notes in Computer Science","volume-title":"Knowledge Representation and Reasoning Under Uncertainty","author":"L.M. Pereira","year":"1994","unstructured":"Pereira, L.M., Alferes, J.J., Apar\u00edcio, J.N.: Contradiction removal semantics with explicit negation. In: Masuch, M., Polos, L. (eds.) Logic at Work 1992. LNCS, vol.\u00a0808. Springer, Heidelberg (1994)"},{"issue":"1","key":"5_CR104","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D.: A logical framework for default reasoning. Artif. Intell.\u00a036(1), 27\u201347 (1988)","journal-title":"Artif. Intell."},{"issue":"3-4","key":"5_CR105","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00118496","volume":"4","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., Sartor, G.: A dialectical model of assessing conflicting arguments in legal reasoning. Artif. Intell. Law\u00a04(3-4), 331\u2013368 (1996)","journal-title":"Artif. Intell. Law"},{"key":"5_CR106","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H. Prakken","year":"1997","unstructured":"Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-classical Logics\u00a07, 25\u201375 (1997)","journal-title":"Journal of Applied Non-classical Logics"},{"key":"5_CR107","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-45632-5_14","volume-title":"Computational Logic: Logic Programming and Beyond","author":"H. Prakken","year":"2002","unstructured":"Prakken, H., Sartor, G.: The Role of Logic in Computational Models of Legal Argument: A Critical Survey. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond, Part II. LNCS (LNAI), vol.\u00a02408, pp. 342\u2013381. Springer, Heidelberg (2002)"},{"key":"5_CR108","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/1276318.1276338","volume-title":"ICAIL-The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference","author":"H. Prakken","year":"2007","unstructured":"Prakken, H., Sartor, G.: Formalising arguments about the burden of persuasion. In: ICAIL-The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, Stanford Law School, Stanford, California, USA, June 4-8, pp. 97\u2013106. ACM, New York (2007)"},{"key":"5_CR109","unstructured":"Preist, C., Eshghi, K.: Consistency-based and abductive diagnoses as generalised stable models. In: FGCS, pp. 514\u2013521 (1992)"},{"issue":"2","key":"5_CR110","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00173701","volume":"5","author":"H. Prendinger","year":"1996","unstructured":"Prendinger, H., Schurz, G.: Reasoning about action and change. A dynamic logic approach. Journal of Logic, Language and Information\u00a05(2), 209\u2013245 (1996)","journal-title":"Journal of Logic, Language and Information"},{"key":"5_CR111","unstructured":"Przymusinski, T.C.: Perfect model semantics. In: ICLP\/SLP, pp. 1081\u20131096 (1988)"},{"key":"5_CR112","unstructured":"Przymusinski, T.C.: Extended stable semantics for normal and disjunctive programs. In: ICLP, pp. 459\u2013477 (1990)"},{"key":"5_CR113","doi-asserted-by":"crossref","unstructured":"Reiter, R.: On closed world data bases. In: Logic and Data Bases, pp. 55\u201376 (1977)","DOI":"10.1007\/978-1-4684-3384-5_3"},{"issue":"1-2","key":"5_CR114","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013(1-2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"5_CR115","unstructured":"Reiter, R.: Circumscription implies predicate completion (sometimes). In: AAAI, pp. 418\u2013420 (1982)"},{"issue":"1","key":"5_CR116","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. Artif. Intell.\u00a032(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"5_CR117","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in action. MIT Press, Cambridge (2001)"},{"key":"5_CR118","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1145\/298514.298572","volume-title":"Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"D. Sacc\u00e0","year":"1990","unstructured":"Sacc\u00e0, D., Zaniolo, C.: Stable models and non-determinism in logic programs with negation. In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Nashville, Tennessee, April 2-4, pp. 205\u2013217. ACM Press, New York (1990)"},{"key":"5_CR119","doi-asserted-by":"crossref","unstructured":"Sadri, F., Kowalski, R.A.: Variants of the event calculus. In: ICLP, pp. 67\u201381 (1995)","DOI":"10.7551\/mitpress\/4298.003.0017"},{"key":"5_CR120","volume-title":"Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006)","author":"F. Sadri","year":"2006","unstructured":"Sadri, F., Toni, F.: Interleaving belief updating and reasoning in abductive logic programming. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 28 August\u20131 September 2006. IOS Press, Amsterdam (2006)"},{"issue":"5","key":"5_CR121","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M.J. Sergot","year":"1986","unstructured":"Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The british nationality act as a logic program. Commun. ACM\u00a029(5), 370\u2013386 (1986)","journal-title":"Commun. ACM"},{"key":"5_CR122","volume-title":"Solving the frame problem: A mathematical investigation of the common sense law of inertia","author":"M. Shanahan","year":"1997","unstructured":"Shanahan, M.: Solving the frame problem: A mathematical investigation of the common sense law of inertia. MIT Press, Cambridge (1997)"},{"issue":"1-3","key":"5_CR123","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","volume":"44","author":"M. Shanahan","year":"2000","unstructured":"Shanahan, M.: An abductive event calculus planner. J. Log. Program.\u00a044(1-3), 207\u2013240 (2000)","journal-title":"J. Log. Program."},{"issue":"1","key":"5_CR124","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0743-1066(84)90023-2","volume":"1","author":"J.C. Shepherdson","year":"1984","unstructured":"Shepherdson, J.C.: Negation as failure: A comparison of clark\u2019s completed data base and reiter\u2019s closed world assumption. J. Log. Program.\u00a01(1), 51\u201379 (1984)","journal-title":"J. Log. Program."},{"issue":"3","key":"5_CR125","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(85)90018-4","volume":"2","author":"J.C. Shepherdson","year":"1985","unstructured":"Shepherdson, J.C.: Negation as failure ii. J. Log. Program.\u00a02(3), 185\u2013202 (1985)","journal-title":"J. Log. Program."},{"issue":"1-2","key":"5_CR126","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"Thielscher, M.: Ramification and causality. Artif. Intell.\u00a089(1-2), 317\u2013364 (1997)","journal-title":"Artif. Intell."},{"issue":"1-2","key":"5_CR127","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00033-8","volume":"111","author":"M. Thielscher","year":"1999","unstructured":"Thielscher, M.: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artif. Intell.\u00a0111(1-2), 277\u2013299 (1999)","journal-title":"Artif. Intell."},{"key":"5_CR128","unstructured":"Toni, F.: A semantics for the Kakas-Mancarella procedure for abductive logic programming. In: Alpuente, M., Sessa, M.I. (eds.) 995 Joint Conference on Declarative Programming, GULP-PRODE 1995, Marina di Vietri, Italy, September 11-14, pp. 231\u2013244 (1995)"},{"issue":"3","key":"5_CR129","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlifp, J.: The well-founded semantics for general logic programs. Journal of ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of ACM"},{"issue":"1","key":"5_CR130","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(93)90090-X","volume":"61","author":"C. Witteveen","year":"1993","unstructured":"Witteveen, C., Brewka, G.: Skeptical reason maintenance and belief revision. Artif. Intell.\u00a061(1), 1\u201336 (1993)","journal-title":"Artif. Intell."},{"key":"5_CR131","doi-asserted-by":"crossref","unstructured":"You, J.-H., Cartwright, R., Li, M.: Iterative belief revision in extended logic programming. Theoretical Computer Science, 170\u2013171 (1996)","DOI":"10.1016\/S0304-3975(96)80712-2"}],"container-title":["Lecture Notes in Computer Science","A 25-Year Perspective on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14309-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:33:19Z","timestamp":1740202399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14309-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642143083","9783642143090"],"references-count":132,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14309-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}