A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming

From MaRDI portal
(Redirected from Publication:4988944)