@article(adams1965logic,
 author       = {Ernest Adams},
 year         = {1965},
 title        = {The logic of conditionals},
 journal      = {Inquiry},
 volume       = {8},
 number       = {1-4},
 pages        = {166--197},
 doi          = {10.1007/978-94-015-7622-2},
)
@article(bealer1979theories,
 author       = {George Bealer},
 year         = {1979},
 title        = {Theories of properties, relations, and propositions},
 journal      = {The Journal of Philosophy},
 volume       = {76},
 number       = {11},
 pages        = {634--648},
 doi          = {10.2307/2025697},
)
@article(bondarenko1997abstract,
 author       = {Andrei Bondarenko and Phan Minh Dung and Robert A Kowalski and Francesca Toni},
 year         = {1997},
 title        = {An abstract, argumentation-theoretic approach to default reasoning},
 journal      = {Artificial intelligence},
 volume       = {93},
 number       = {1-2},
 pages        = {63--101},
 doi          = {10.1016/S0004-3702(97)00015-5},
)
@incollection(van2008handbook,
 author       = {Gerhard Brewka and Ilkka Niemel{\"a} and Miros{\l}aw Truszczy{\'n}ski},
 year         = {2008},
 title        = {Nonmonotonic reasoning: Handbook of knowledge representation},
 chapter      = {6},
 publisher    = {Elsevier},
 pages        = {239--284},
 doi          = {10.1016/S1574-6526(07)03006-4},
)
@article(chen1993minimal,
 author       = {Jianhua Chen},
 year         = {1994},
 title        = {The logic of only knowing as a unified framework for non-monotonic reasoning},
 journal      = {Fundamenta Informaticae},
 volume       = {21},
 number       = {3},
 pages        = {205--220},
 doi          = {10.3233/FI-1994-2133},
)
@article(church1950carnap,
 author       = {Alonzo Church},
 year         = {1950},
 title        = {On Carnap's analysis of statements of assertion and belief},
 journal      = {Analysis},
 volume       = {10},
 number       = {5},
 pages        = {97--99},
 doi          = {10.1093/analys/10.5.97},
)
@incollection(clark1978negation,
 author       = {Keith L Clark},
 year         = {1978},
 title        = {Negation as failure},
 booktitle    = {Logic and Data Bases},
 publisher    = {Springer},
 pages        = {293--322},
 doi          = {10.1007/978-1-4684-3384-5_11},
)
@article(gradedtrust,
 author       = {Robert Demolombe and Churnjung Liau},
 year         = {2001},
 title        = {A logic of graded trust and belief fusion},
 journal      = {In Proceedings of the 4th Workshop on Deception, Fraud and Trust in Agent Societies},
 pages        = {13--25},
)
@incollection(possibilistic,
 author       = {D. Dubois and Lang J. and Prade H.},
 year         = {1994},
 title        = {Possibilistic logic},
 editor       = {D. Gabbay and Hogger C.J. and Robinson J.A.},
 booktitle    = {Nonmonotonic Reasoning and Uncertain Reasoning, Handbook of Logic in Artificial Intelligence and Logic Programming},
 volume       = {3},
 publisher    = {Oxford University Press},
 pages        = {439–513},
 doi          = {10.2307/420980},
)
@article(dubois2014weighted,
 author       = {Didier Dubois and Lluis Godo and Henri Prade},
 year         = {2014},
 title        = {Weighted logics for artificial intelligence--an introductory discussion},
 journal      = {International Journal of Approximate Reasoning},
 volume       = {55},
 number       = {9},
 pages        = {1819--1829},
 doi          = {10.1016/j.ijar.2014.08.002},
)
@mastersthesis(nourhanThesis2016,
 author       = {Nourhan Ehab},
 year         = {2016},
 title        = {On the use of graded propositions in uncertain non-monotonic reasoning: With an application to plant disease forecast},
 school       = {German University in Cairo},
 address      = {Egypt},
)
@article(logagcommonsense,
 author       = {Nourhan Ehab and Haythem O. Ismail},
 year         = {2017},
 title        = {{LogAG: an} algebraic non-monotonic logic for reasoning with uncertainty},
 journal      = {Proceedings of the 13th International Symposium of Commonsense Reasoning},
)
@article(logag-possibilistic,
 author       = {Nourhan Ehab and Haythem O. Ismail},
 year         = {2018},
 title        = {Towards a unified algebraic framework for non-monotonicity},
 journal      = {Proceedings of the KI 2018 Workshop on Formal and Cognitive Reasoning},
 pages        = {26--40},
)
@article(hansson,
 author       = {Sven Ove Hansson},
 year         = {1994},
 title        = {Kernel contraction},
 journal      = {The Journal of Symbolic Logic},
 volume       = {59},
 number       = {03},
 pages        = {845--859},
 doi          = {10.2307/2275912},
)
@article(logab,
 author       = {Haythem O. Ismail},
 year         = {2012},
 title        = {{LogAB}: A first-order, non-paradoxical, algebraic logic of belief},
 journal      = {Logic Journal of the IGPL},
 volume       = {20},
 number       = {5},
 pages        = {774--795},
 doi          = {10.1093/analys/10.5.97},
)
@article(logas,
 author       = {Haythem O. Ismail},
 year         = {2013},
 title        = {Stability in a commonsense ontology of states},
 journal      = {Proceedings of the Eleventh International Symposium on Logical Formalization of Commonsense sense Reasoning (COMMONSENSE 2013)},
)
@article(logag,
 author       = {Haythem O. Ismail and Nourhan Ehab},
 year         = {2015},
 title        = {Algebraic semantics for graded propositions.},
 journal      = {Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning},
 pages        = {29--42},
)
@article(kraus1990nonmonotonic,
 author       = {Sarit Kraus and Daniel Lehmann and Menachem Magidor},
 year         = {1990},
 title        = {Nonmonotonic reasoning, preferential models and cumulative logics},
 journal      = {Artificial intelligence},
 volume       = {44},
 number       = {1-2},
 pages        = {167--207},
 doi          = {10.1016/0004-3702(90)90101-5},
)
@inproceedings(lin1989argument,
 author       = {Fangzhen Lin and Yoav Shoham},
 year         = {1989},
 title        = {Argument systems: A Uniform Basis for Non-monotonic Reasoning},
 booktitle    = {Proceedings of the first international conference on Principles of knowledge representation and reasoning},
 organization = {Morgan Kaufmann Publishers Inc.},
 pages        = {245--255},
)
@article(marek1991autoepistemic,
 author       = {Wiktor Marek and Miros{\l}aw Truszczy{\'n}ski},
 year         = {1991},
 title        = {Autoepistemic logic},
 journal      = {Journal of the ACM (JACM)},
 volume       = {38},
 number       = {3},
 pages        = {587--618},
 doi          = {10.1145/116825.116836},
)
@article(circumscription,
 author       = {John McCarthy},
 year         = {1980},
 title        = {Circumscription--a form of nonmonotonic reasoning},
 journal      = {Artificial Intelligence},
 volume       = {13},
 pages        = {27--39},
 doi          = {10.1016/0004-3702(80)90011-9},
)
@article(condprob,
 author       = {Milo{\v{s}}evi{\'c}, Milo{\v{s}} and Zoran Ognjanovi{\'c}},
 year         = {2012},
 title        = {A first-order conditional probability logic},
 journal      = {Logic Journal of IGPL},
 volume       = {20},
 number       = {1},
 pages        = {235--253},
 doi          = {10.1093/jigpal/jzr033},
)
@techreport(moore1984possible,
 author       = {Robert C Moore},
 year         = {1984},
 title        = {Possible-world semantics for autoepistemic logic},
 type         = {Technical Report},
 institution  = {SRI International Menlo Park CA Artificial Intelligence Center},
)
@article(parsons1993denoting,
 author       = {Terence Parsons},
 year         = {1993},
 title        = {On denoting propositions and facts},
 journal      = {Philosophical Perspectives},
 volume       = {7},
 pages        = {441--460},
 doi          = {10.2307/2214134},
)
@inproceedings(pearl1990system,
 author       = {Judea Pearl},
 year         = {1990},
 title        = {System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning},
 booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge},
 organization = {Morgan Kaufmann Publishers Inc.},
 pages        = {121--135},
)
@book(pearl2014probabilistic,
 author       = {Judea Pearl},
 year         = {2014},
 title        = {Probabilistic reasoning in intelligent systems: networks of plausible inference},
 publisher    = {Morgan Kaufmann},
 doi          = {10.1016/C2009-0-27609-4},
)
@article(reiter1980logic,
 author       = {Raymond Reiter},
 year         = {1980},
 title        = {A logic for default reasoning},
 journal      = {Artificial intelligence},
 volume       = {13},
 number       = {1},
 pages        = {81--132},
 doi          = {10.1016/0004-3702(80)90014-4},
)
@article(algebra,
 author       = {H.P. Sankappanavar and Stanley Burris},
 year         = {1981},
 title        = {A course in universal algebra},
 journal      = {Graduate Texts Math},
 volume       = {78},
 doi          = {10.2307/2322184},
)
@article(shapiro1993belief,
 author       = {Stuart C. Shapiro},
 year         = {1993},
 title        = {Belief spaces as sets of propositions},
 journal      = {Journal of Experimental \& Theoretical Artificial Intelligence},
 volume       = {5},
 number       = {2-3},
 pages        = {225--235},
 doi          = {10.1016/0898-1221(92)90143-6},
)