Minimal knowledge + negation as failure = only knowing (sometimes)

Disjunctive datalog

ACM Transactions on Database Systems (TODS)

Logic programming and knowledge representation-the A-prolog perspective

Artificial Intelligence

Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2

Theory and Practice of Logic Programming

Embedding nonground logic programs into autoepistemic logic for knowledge-base combination

ACM Transactions on Computational Logic (TOCL)

The Logic Of Only Knowing As A Unified Framework For Non-Monotonic Reasoning

Fundamenta Informaticae

Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

Fuzzy Sets and Systems