N. Malheiro, Z. Vale, C. Ramos, M. Cordeiro, A. Marques, and V. Couto
[1] CIGRE—Working Group 38.06.03, Expert systems: Develop-ment experience and user requirements, Electra, 146, 1993,29–67. [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] 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] 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] 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] R.A. Kowalski & M.J. Sergot, A logic-based calculus of events, New Generation Computing, 4, 1986, 67–95. [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] 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] F. Sadri & R. Kowalski, Variants of the event calculus, Proc. of the Int. Conf. on Logic Programming, Kanagawa, Japan, 1995, 67–81. [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] R. Reiter, A logic for default reasoning, Artificial Intelligence, 13, 1980, 81–132. doi:10.1016/0004-3702(80)90014-4 [12] G. Antoniou, Nonmonotonic reasoning (MIT Press, 1997). [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] 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] J. Rintanen, Lexicographic priorities in default logic, in Artificial Intelligence, 106(2), 221–265. [16] C. Szyperski, Component software: Beyond object-oriented programming, 2nd edn (Addison-Wesley, 2002). [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