Natalia Cherchago, An overview of the KLM framework. [pdf]
Ekaterina Timoshenko, Irina Zelenskaja and Mikhail Roshchin, A Classification Theorey of Semantics of Normal Logic Programs: Strong and Weak Properties. [pdf] Slides: [pdf (Timoshenko), pdf (Zelenskaja), pdf (Roshchin)]
Matthias Knorr, Well-founded semantics for disjunctive logic programs. [ps.gz]
Lei Liu, Parametrized semantics for Fitting programs. [ps.gz]
Back to my home page. Back to the seminar page.