J. Delgrande & T. Schaub (2003):
On the relation between Reiter's default logic and its (major) variants..
Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU),
doi:10.1007%2F978-3-540-45062-7_37.
J. Delgrande & T. Schaub (2005):
Expressing Default Logic Variants in Default Logic..
Journal of Logic and Computation,
doi:10.1093/logcom/exi021.
Michael Kifer & Yanhong Annie Liu (2018).
Morgan & Claypool,
doi:10.1145/3191315.
Kurt Konolige (1988):
On the relation between default and autoepistemic logic..
In: Artificial Intelligence 35,
pp. 343–382,
doi:10.1016/0004-3702(88)90021-5.
J. McCarthy (1980):
Circumscription - A form of non-monotonic reasoning..
Artificial intelligence 13:1-2,
doi:10.1016/0004-3702(80)90011-9.
J. McCarthy (1986):
Applications of circumscription to formalizing common-sense knowledge..
Artificial intelligence 28-1,
doi:10.1016/0004-3702(86)90032-9.
Raymond Reiter (1980):
A logic for default reasoning.
Artificial intelligence 13:1-2,
doi:10.1016/0004-3702(80)90014-4.
Raymond Reiter (1981):
On closed world data bases.
In: Readings in artificial intelligence.
Springer,
pp. 119–140,
doi:10.1007%2F978-1-4684-3384-5_3.
Stuart J Russell & Peter Norvig (2016).
Malaysia; Pearson Education Limited,,
doi:10.1145/201977.201989.
eptcs@eptcs.org