December 16, 2014

Σημασιολογία για διαζευτικά λογικά προγράμματα

  • October 28, 2021 till October 28, 2021
  • ΙΠ&Τ, ΕΚΕΦΕ "¨Δημόκριτος"
  • Αίθουσα "Διαλέξεων" (ΙΠ&Τ)
  • tsouanas-phd-thesis_0.pdf

Στην ομιλία αυτή θα παρουσιάσω τα κύρια αποτελέσματα της διδακτορικής μου διατριβής. Θα δούμε μερικές διαφορετικές προσεγγίσεις ανάθεσης σημασιολογίας για τέσσερις γλώσσες λογικού προγραμματισμού. (Συμπεριλαμβάνονται μοντελοθεωρητικές και παιγνιοθεωρητικές
προσεγγίσεις.) Το επίκεντρο θα είναι η αντιμετώπιση διαζευκτικών προγραμμάτων, δηλ. προγραμμάτων στους κανόνες των οποίων εμφανίζονται διαζεύξεις σε θέση κεφαλής.

Skip to content