An Event-Condition-Action Logic Programming Language

  • J. J. Alferes
  • F. Banti
  • A. Brogi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4160)


Event-Condition-Action (ECA) languages are an intuitive and powerful paradigm for programming reactive systems. Usually, important features for an ECA language are reactive and reasoning capabilities, the possibility to express complex actions and events, and a declarative semantics. In this paper, we introduce ERA, an ECA language based on, and extending the framework of logic programs updates that, together with these features, also exhibits capabilities to integrate external updates and perform self updates to its knowledge (data and classical rules) and behaviour (reactive rules).


Logic Program Basic Action Complex Action Inference Rule Logic Programming 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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. 2798, pp. 190–204. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 2.
    Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica 79(1) (2005)Google Scholar
  3. 3.
    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. 2424, p. 50. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence 132(1 & 2) (2002)Google Scholar
  5. 5.
    Banti, F., Alferes, J.J., Brogi, A.: The well founded semantics for dynamic logic programs. In: Lemaître, C., Reyes, C.A., González, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol. 3315. Springer, Heidelberg (2004)Google Scholar
  6. 6.
    Baral, C., Lobo, J.: Formal characterization of active databases. In: Logic in Databases, pp. 175–195 (1996)Google Scholar
  7. 7.
    Bonner, A.J., Kifer, M.: Transaction logic programming. In: Warren, D.S. (ed.) ICLP 1993, Budapest, Hungary, pp. 257–279. The MIT Press, Cambridge (1993)Google Scholar
  8. 8.
    Bonner, A.J.: A logical semantics for hypothetical rulebases with deletion. Journal of Logic Programming 32(2) (1997)Google Scholar
  9. 9.
    Bry, F., Pătrânjan, P.-L., Schaffert, S.: Xcerpt and xChange – logic programming languages for querying and evolution on the web. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 450–451. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  10. 10.
    Carlson, J., Lisper, B.: An interval-based algebra for restricted event detection. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol. 2791, pp. 121–133. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  11. 11.
    Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 685–688. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  12. 12.
    Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of semantics based on causal rejection. Theory and Practice of Logic Programming 2, 711–767 (2002)MATHMathSciNetGoogle Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)MATHGoogle Scholar
  15. 15.
    Hoare, C.A.R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1985)Google Scholar
  16. 16.
    Leite, J., Soares, L.: Enhancing a multi-agent system with evolving logic programs. In: Satoh, K., Inoue, K., Toni, F. (eds.) CLIMA-VII (2006)Google Scholar
  17. 17.
    Leite, J.A.: Evolving Knowledge Bases. Frontiers in Artificial Intelligence and Applications, vol. 81. IOS Press, Amsterdam (2003)MATHGoogle Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992 (1992)Google Scholar
  20. 20.
    Ludäscher, B., May, W., Lausen, G.: Nested transactions in a logical language for active rules. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, pp. 197–222. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  21. 21.
    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. 3791, pp. 30–44. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  22. 22.
    Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)MATHGoogle Scholar
  23. 23.
    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. 4411. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  24. 24.
    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)Google Scholar
  25. 25.
    Saraswat, V.A., Jagadeesan, R., Gupta, V.: Amit - the situation manager. The International Journal on Very Large Data Bases archive 13 (2004)Google Scholar
  26. 26.
    Widom, J., Ceri, S. (eds.): Active Database Systems – Triggers and Rules For Advanced Database Processing. Morgan Kaufmann, San Francisco (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • J. J. Alferes
    • 1
  • F. Banti
    • 1
  • A. Brogi
    • 2
  1. 1.CENTRIAUniversidade Nova de LisboaPortugal
  2. 2.Dipartimento di InformaticaUniversità di PisaItaly

Personalised recommendations