Λογικός προγραμματισμός με προτιμήσεις στην απειρότιμη λογική

 
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο




2012 (EL)
Λογικός προγραμματισμός με προτιμήσεις στην απειρότιμη λογική

Τρουμπούκης Αντώνιος

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

Διπλωματική εργασία (Εκπονήθηκε το έτος: 2012)

Λογικός Προγραμματισμός
Fixed-point Semantics
Μη-κλασικές Λογικές
Logic Programming
Preferenc
Απειρότιμη Λογική
Προτιμήσεις
Σημασιολογία Σταθερού Σημείου

Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (EL)
University of Athens (EN)

Ελληνική γλώσσα

2012


National and Kapodistrian University of Athens (UOA)

All rights remain with the author, until they expire.
Access to the work is permitted for personal, educational or research use only.



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.