Tuesday December 10 2002 at 14h00 in Celestijnenlaan 200A, room 03.14 (Cafetaria)
Non-deterministic operators for disjunctive logic programsby Nikolay Pelov (Dept. CW, KUL)
The goal of this project is to characterize some of the semantics proposed for disjunctive logic programs in terms of fixpoints of certain operators. We will first look at positive DLP where we are interested in obtaining an equivalence between minimal models, least fixpoints, and computability of the least fixpoints using bottom-up iterations. The long term goals are to reconstruct the stable semantics as fixpoints of a stable operator and to obtain some version of a well-founded semantics.
The seminar will present only preliminary results.