1. (100%) Multi-Valued Autoepistemic Logic - Robert F. Stark
We generalize Moore's autoepistemic logic to multi-valued autoepistemic logic, where the set of ... procedure for multi-valued autoepistemic logic. 1 Introduction Autoepistemic logic was introduced by
(ps) - 31-mar-2009

2. (100%) Multi-Valued Autoepistemic Logic - Robert F. Stark
We generalize Moore's autoepistemic logic to multi-valued autoepistemic logic, where the set of ... procedure for multi-valued autoepistemic logic. 1
(pdf) - 31-mar-2009