Skip to content

A Kripke-Kleene Logic over General Logic Programs.

Vladimir Kuznetsov

Year1994
ProceedingsKI

Browse the full KI paper archive.