December 16, 2014
In this talk I will present the main results of my PhD thesis. I will present different approaches to semantics for four logic programming languages, including model-theoretic and game semantics, with emphasis on how to deal with disjunctive logic programs, i.e., programs with rules that allow for disjunctions to appear in their heads.