Seminar: Theoretical Aspects of Logic Programming and Nonmonotonic Reasoning

Schedule

22.01. 18:30-19:30, NC, Topic: KLM90
23.01. 14:50-17:50, RM, TE, ZI, Topic: Dix95
23.01. 17:50-18:50, MK, Topic: Well-founded semantics for disjunctive logic programs.
23.01. 18:50-19:50, LL, Topic: LSS03

The topics:

KLM90:
Sarit Kraus, Daniel J. Lehmann, Menachem Magidor: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artificial Intelligence 44(1-2): 167-207 (1990)

Dix95:
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)

LSS03:
Y. Loyer, N. Spyratos, D. Stamate: Parametrized semantics of logic programs-a unifying framework. Theoretical Computer Science 308 (1-3) 429--337, 2003


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