Semantics for disjunctive logic programs

Printer-friendly versionSend by email

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.

Date(s): 
Thu, 08/01/2015 - 14:00 - 16:00
Where: 
Main Lecture Room (IIT)
Location: 
IIT, NCSR "Demokritos"

© 2018 - Institute of Informatics and Telecommunications | National Centre for Scientific Research "Demokritos"