Some finished manuscripts

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.