string(10) "newsevents"
December 16, 2014

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

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

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

Skip to content