ML Anthology

Marek, V. Wiktor

1 publications

AAAI 1998 Fixpoint 3-Valued Semantics for Autoepistemic Logic Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski