Article View: ont.events
Article #469UW Infor. Logic, Prof. Nait Abdallah on "The Interpretation of Infinite Computations in Logic Programming I - A Tutorial Introdu...
From: mwang
Date: Thu, 03 Nov 1983 15:15
Date: Thu, 03 Nov 1983 15:15
31 lines
1839 bytes
1839 bytes
_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
Technical Details
Message-ID:
<6066@watmath.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!watmath!mwangShow Full Headers
Complete Article Headers
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83; site watmath.UUCP Path: arc1-ca.pugleaf.net!utzoo!watmath!mwang From: mwang@watmath.UUCP (mwang) Newsgroups: ont.events Subject: UW Infor. Logic, Prof. Nait Abdallah on "The Interpretation of Infinite Computations in Logic Programming I - A Tutorial Introduction to Logic Programming." Message-ID: <6066@watmath.UUCP> Date: Thu, 3-Nov-83 10:15:58 EST Article-I.D.: ction to Logic Programming." Posted: Thu Nov 3 10:15:58 1983 Date-Received: Fri, 4-Nov-83 09:15:00 EST Organization: U of Waterloo, Ontario Lines: 32