N. Malheiro, Z. Vale, C. Ramos, M. Cordeiro, A. Marques, and V. Couto


  1. [1] CIGRE—Working Group 38.06.03, Expert systems: Develop-ment experience and user requirements, Electra, 146, 1993,29–67.
  2. [2] A. Insfr´an, A. Alves da Silva, & G. Lambert-Torres, Fault diagnosis using fuzzy sets, Proc. Int. Conf. on Intelligent Systems and Applications (ISAP’99), Rio de Janeiro, Brazil, 1999.
  3. [3] P. K´ad´ar, A. Kov´acs, & A. Mergl, A tolerant event recogniser and alarm filter based on sequential pattern matching under introduction into the national dispatching centre, Proc. Int. Conf. on Intelligent Systems and Applications (ISAP’97), Seoul, Korea, 1997.
  4. [4] Z. Vale, Power systems control centers, in C.T. Mondes (Ed.), Intelligent systems—technology and applications, VI (CRC Press, 2003), VI-63–VI-112.
  5. [5] N. Malheiro, Z. Vale, C. Ramos, J. Santos, & A. Marques, Enabling client–server explanation facilities in a real-time expert system, Lecture Notes in Computer Science, Vol. 1611 (Springer-Verlag, 2004), 333–342.
  6. [6] R.A. Kowalski & M.J. Sergot, A logic-based calculus of events, New Generation Computing, 4, 1986, 67–95.
  7. [7] M. Shanahan, The event calculus explained, Artificial intelligence today, 1600 of Lecture Notes in Computer Science, in M. Wooldridge & M. Veloso (Eds.) (Springer-Verlag, 1999), 409–430.
  8. [8] R.A. Kowalski & F. Sadri, Reconciling the situation calculus and event calculus, Journal of Logic Programming, Special Issue on Reasoning about Action and Change, 31, 1997, 39–58.
  9. [9] F. Sadri & R. Kowalski, Variants of the event calculus, Proc. of the Int. Conf. on Logic Programming, Kanagawa, Japan, 1995, 67–81.
  10. [10] I. Cervesato, M. Franceschet, & A. Montanari, The complexity of model checking in modal event calculi with quantifiers, Electronic Transactions on Artificial Intelligence, 2(1–2), 1998, 1–23.
  11. [11] R. Reiter, A logic for default reasoning, Artificial Intelligence, 13, 1980, 81–132. doi:10.1016/0004-3702(80)90014-4
  12. [12] G. Antoniou, Nonmonotonic reasoning (MIT Press, 1997).
  13. [13] T. Finin, D. McKay, R. Fritzson, & R. McEntire, KQML: An information and knowledge exchange protocol, in K. Fuchi & T. Yokoi (Eds.), Knowledge building and knowledge sharing (Ohmsha and IOS Press, 1994).
  14. [14] L. Chittaro & A. Montanari, Efficient temporal reasoning in the cached event calculus, Computational Intelligence, 12(3), 1996, 359–382. doi:10.1111/j.1467-8640.1996.tb00267.x
  15. [15] J. Rintanen, Lexicographic priorities in default logic, in Artificial Intelligence, 106(2), 221–265.
  16. [16] C. Szyperski, Component software: Beyond object-oriented programming, 2nd edn (Addison-Wesley, 2002).
  17. [17] A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, & V. Sunderam, PVM: Parallel virtual machine—A users’ guide and tutorial for networked parallel computing, in Scientific and engineering computation (MIT Press, 1994).

Important Links:

Go Back