December 16, 2014

Semantics for disjunctive logic programs

  • October 25, 2021 till October 25, 2021
  • 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