string(10) "newsevents"
  • June 5, 2023 till June 5, 2023
  • IIT, NCSR "Demokritos"
  • Main Lecture Room (IIT)
  • tsouanas-phd-thesis.pdf

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.

Skip to content