References

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