Topics which could be covered

The following list contains sample papers which could be covered by seminar talks.

• Ofer Arieli, Arnon Avron: The Value of the Four Values. Artificial Intelligence 102(1): 97-141 (1998)
• Ofer Arieli: Paraconsistent Declarative Semantics for Extended Logic Programs. Annals of Mathematics and Artificial Intelligence 36(4): 381-417 (2002)
• Piero A. Bonatti, Nicola Olivetti: Sequent calculi for propositional nonmonotonic logics. ACM Transactions on Computational Logic (TOCL) 3(2): 226-278 (2002)
• Marc Denecker, V. Wictor Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logics. Artificial Intelligence 143(1): 79-122 (2003)
• Jürgen Dix: A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties. Fundamenta Informaticae 22(3): 227-255 (1995)
  Jürgen Dix: A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundamenta Informaticae 22(3): 257-288 (1995)
• Konstantinos Georgatos: To Preference via Entrenchment. Annals of Pure and Applied Logic 96(1-3): 141-155 (1999)
• Sarit Kraus, Daniel J. Lehmann, Menachem Magidor: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artificial Intelligence 44(1-2): 167-207 (1990)
• Daniel J. Lehmann: Nonmonotonic Logics and Semantics, a choice function semantics for nonmonotonic logic and why the natural connectives in nonmonotonic logic are classical. Journal of Logic and Computation, 11(2) (June 2001) pp. 229-256
• David Makinson: General Patterns in Nonmonotonic Reasoning. In Gabbay, Hogger and Robinson (eds), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Oxford University Presss, 1994, pp 35--110.
• David Makinson: Bridges between Classical and Nonmonotonic Logic. Logic Journal of the IGPL 11(1): 69--96 (2003)
• V. Wiktor Marek, Jeffrey B. Remmel: On the Expressibility of Stable Logic Programming. In Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski (Eds.): Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Lecture Notes in Computer Science 2173 Springer 2001: 107-120

Back to my home page. Back to the seminar page.