{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:26:03Z","timestamp":1725470763351},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540396253"},{"type":"electronic","value":"9783540396277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853886_5","type":"book-chapter","created":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T12:40:30Z","timestamp":1158151230000},"page":"29-42","source":"Crossref","is-referenced-by-count":19,"title":["An Event-Condition-Action Logic Programming Language"],"prefix":"10.1007","author":[{"given":"J. J.","family":"Alferes","sequence":"first","affiliation":[]},{"given":"F.","family":"Banti","sequence":"additional","affiliation":[]},{"given":"A.","family":"Brogi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-39403-7_16","volume-title":"Advances in Databases and Information Systems","author":"R. Adaikkalavan","year":"2003","unstructured":"Adaikkalavan, R., Chakravarthy, S.: SnoopIB: Interval-based event specification and detection for active databases. In: Kalinichenko, L.A., Manthey, R., Thalheim, B., Wloka, U. (eds.) ADBIS 2003. LNCS, vol.\u00a02798, pp. 190\u2013204. Springer, Heidelberg (2003)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica\u00a079(1) (2005)","DOI":"10.1007\/s11225-005-0492-y"},{"key":"5_CR3","series-title":"LNAI","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., Moniz Pereira, L.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 50. Springer, Heidelberg (2002)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence\u00a0132(1 & 2) (2002)","DOI":"10.1016\/S0004-3702(02)00183-2"},{"key":"5_CR5","series-title":"LNAI","volume-title":"Advances in Artificial Intelligence \u2013 IBERAMIA 2004","author":"F. Banti","year":"2004","unstructured":"Banti, F., Alferes, J.J., Brogi, A.: The well founded semantics for dynamic logic programs. In: Lema\u00eetre, C., Reyes, C.A., Gonz\u00e1lez, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol.\u00a03315. Springer, Heidelberg (2004)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Baral, C., Lobo, J.: Formal characterization of active databases. In: Logic in Databases, pp. 175\u2013195 (1996)","DOI":"10.1007\/BFb0031741"},{"key":"5_CR7","first-page":"257","volume-title":"ICLP 1993","author":"A.J. Bonner","year":"1993","unstructured":"Bonner, A.J., Kifer, M.: Transaction logic programming. In: Warren, D.S. (ed.) ICLP 1993, Budapest, Hungary, pp. 257\u2013279. The MIT Press, Cambridge (1993)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Bonner, A.J.: A logical semantics for hypothetical rulebases with deletion. Journal of Logic Programming\u00a032(2) (1997)","DOI":"10.1016\/S0743-1066(96)00093-3"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-540-27775-0_33","volume-title":"Logic Programming","author":"F. Bry","year":"2004","unstructured":"Bry, F., P\u0103tr\u00e2njan, P.-L., Schaffert, S.: Xcerpt and xChange \u2013 logic programming languages for querying and evolution on the web. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 450\u2013451. Springer, Heidelberg (2004)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-40903-8_10","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J. Carlson","year":"2004","unstructured":"Carlson, J., Lisper, B.: An interval-based algebra for restricted event detection. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 121\u2013133. Springer, Heidelberg (2004)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol.\u00a03229, pp. 685\u2013688. Springer, Heidelberg (2004)"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1017\/S1471068401001247","volume":"2","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of semantics based on causal rejection. Theory and Practice of Logic Programming\u00a02, 711\u2013767 (2002)","journal-title":"Theory and Practice of Logic Programming"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Cugola, G., Nitto, E.D., Fuggetta, A.: Exploiting an event-based infrastructure to develop complex distributed systems. In: 20th Int. Conf. on Software Enginieering (1998)","DOI":"10.1109\/ICSE.1998.671135"},{"issue":"3","key":"5_CR14","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.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"5_CR15","volume-title":"Communication and Concurrency","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"5_CR16","unstructured":"Leite, J., Soares, L.: Enhancing a multi-agent system with evolving logic programs. In: Satoh, K., Inoue, K., Toni, F. (eds.) CLIMA-VII (2006)"},{"key":"5_CR17","series-title":"Frontiers in Artificial Intelligence and Applications","volume-title":"Evolving Knowledge Bases","author":"J.A. Leite","year":"2003","unstructured":"Leite, J.A.: Evolving Knowledge Bases. Frontiers in Artificial Intelligence and Applications, vol.\u00a081. IOS Press, Amsterdam (2003)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming (1997)","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"5_CR19","unstructured":"Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992 (1992)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BFb0031742","volume-title":"Logic in Databases","author":"B. Lud\u00e4scher","year":"1996","unstructured":"Lud\u00e4scher, B., May, W., Lausen, G.: Nested transactions in a logical language for active rules. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol.\u00a01154, pp. 197\u2013222. Springer, Heidelberg (1996)"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11580072_4","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"W. May","year":"2005","unstructured":"May, W., Alferes, J.J., Amador, R.: Active rules in the semantic web: Dealing with language heterogeneity. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol.\u00a03791, pp. 30\u201344. Springer, Heidelberg (2005)"},{"key":"5_CR22","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71956-4_10","volume-title":"Programming Multi-Agent Systems","author":"V. Nigam","year":"2007","unstructured":"Nigam, V., Leite, J.: Incorporating knowledge updates in 3APL - preliminary report. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2006. LNCS, vol.\u00a04411. Springer, Heidelberg (2007)"},{"key":"5_CR24","unstructured":"Abiteboul, S., Culet, C., Mignet, L., Amann, B., Milo, T., Eyal, A.: Active views for electronic commerce. In: 25th Very Large Data Bases Coference Proceedings (1999)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Jagadeesan, R., Gupta, V.: Amit - the situation manager. The International Journal on Very Large Data Bases archive\u00a013 (2004)","DOI":"10.1007\/s00778-003-0108-y"},{"volume-title":"Active Database Systems \u2013 Triggers and Rules For Advanced Database Processing","year":"1996","key":"5_CR26","unstructured":"Widom, J., Ceri, S. (eds.): Active Database Systems \u2013 Triggers and Rules For Advanced Database Processing. Morgan Kaufmann, San Francisco (1996)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853886_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T00:33:50Z","timestamp":1555806830000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853886_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540396253","9783540396277"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11853886_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}