Super Logic Programs

What this record says

The Autoepistemic Logic of Knowledge and Belief (AELB) is a powerful nonmonotic formalism introduced by Teodor Przymusinski in 1994. In

CATALOG · The abstract is indexed.