string(10) "newsevents"
  • June 14, 2024 till June 14, 2024
  • 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