Παρουσίαση διπλωματικής εργασίας Αντώνη Γκάνιου

Submitted by admin on Fri, 28/03/2025 - 14:33

Ο φοιτητής του προγράμματος Αντώνης Γκάνιος θα παρουσιάσει τη διπλωματική του εργασία με θέμα:

 Bottom-Up Evaluation of Second-Order Datalog with Negation

την Τετάρτη 2 Απριλίου 2025  και ώρα 13:00,  διαδικτυακά (https://meet.google.com/ebh-aisf-uws).

Σύνοψη Διπλωματικής:

Extending logic programming beyond the first-order paradigm has long been a challenge due to the complexity of handling higher-order constructs and negation. This thesis investigates the evaluation of second-order Datalog with negation, which extends the expressiveness of traditional logic programming while maintaining declarative semantics. Prior research introduced a three-valued immediate consequence operator to compute the well-founded model for higher-order programs, yet the computational overhead of this approach limits its scalability.

We propose a bottom-up evaluation framework that combines program transformation techniques with alternating fixpoint evaluation to systematically refine approximations of the well-founded model. This approach introduces a new way to handle negation in second-order logic programs and presents an alternative framework for evaluating the well-founded semantics. It contributes to a deeper understanding of higher-order logic programming and its potential use in complex reasoning tasks.Η Επιτροπή:

Η επιτροπή,

Άγγελος Χαραλαμπίδης (Συνεπιβλέπων),
Τμήμα πληροφορικής, Χαροκόπειο Πανεπιστήμιο

Παναγιώτης Ροντογιάννης (Συνεπιβλέπων),
Τμήμα Πληροφορικής, Ε.Κ.Π.Α.

Νικόλαος Ρήγας,
Εξωτερικός συνεργάτης

Κώστας Κούτρας,
Τμήμα πληροφορικής και τηλεπικοινωνιών, Πανεπιστήμιο Πελοποννήσου