[ont.events] UW Infor. Logic, Prof. Nait Abdallah on "The Interpretation of Infinite Computations in Logic Programming I - A Tutorial Introduction to Logic Programming."

mwang@watmath.UUCP (mwang) (11/03/83)

     _D_E_P_A_R_T_M_E_N_T _O_F _C_O_M_P_U_T_E_R _S_C_I_E_N_C_E
     _U_N_I_V_E_R_S_I_T_Y _O_F _W_A_T_E_R_L_O_O
     _S_E_M_I_N_A_R _A_C_T_I_V_I_T_I_E_S

     _I_N_F_O_R_M_A_T_I_C _L_O_G_I_C _S_E_M_I_N_A_R
                                - Monday, November 7, 1983.

     Prof. A. Nait-Abdallah of this department will speak on
     ``The  Interpretation of Infinite Computations in Logic
     Programming I - A Tutorial Introduction to  Logic  Pro-
     gramming.''

     TIME:                3:45 PM  (Please Note)

     ROOM:              MC 6081F

     ABSTRACT

     This will be the first of a short  series  of  lectures
     about infinite computations in logic programming.

     No preliminary knowledge in the field of logic program-
     ming  is  assumed, as all the elements necessary in the
     sequel will be given.  Subsequent  talks  will  present
     joint work with Maarten van Emden on the connections of
     logic programming with Nolin's approach  to  semantics,
     and  also  some work on the greatest fixpoint semantics
     of logic programs.

                      November 3, 1983