![](/gfx/header_el.jpg)
Αρχική
Συλλογές
Σχολή/Τμήμα
Σχολή Θετικών και Τεχνολογικών Επιστημών
Τμήμα Επιστήμης Υπολογιστών
Μεταπτυχιακές εργασίες ειδίκευσης
Μεταπτυχιακές εργασίες ειδίκευσης
Εντολή Αναζήτησης : Συγγραφέας="Στεφανίδης" Και Συγγραφέας="Κωνσταντίνος"
Τρέχουσα Εγγραφή: 19 από 824
|
|||||||
Κωδικός Πόρου | 000460801 | ||||||
Τίτλος | Implementation of verification algorithms for ADFD semantics | ||||||
Άλλος τίτλος | Υλοποίηση αλγορίθμων επαλήθευσης για τη σημασιολογία των ADFD | ||||||
Συγγραφέας | Ντάνης, Δημήτριος Α. | ||||||
Σύμβουλος διατριβής | Πλεξουσάκης, Δημήτριος | ||||||
Μέλος κριτικής επιτροπής |
Φλουρής, Γιώργος
Τζίτζικας, Ιωάννης |
||||||
Περίληψη |
|
||||||
Φυσική περιγραφή | viii, 60 σ. : σχεδ., πιν., εικ. (μερ. εγχρ.) ; 30 εκ. | ||||||
Γλώσσα | Αγγλικά | ||||||
Θέμα | Abstract argumentation | ||||||
Argumentation frameworks | |||||||
Computational argumentation | |||||||
Frameworks επιχειρηματολογίας | |||||||
Αλγόριθμοι επαλήθευσης | |||||||
Αφηρημένη επιχειροματολογία | |||||||
Υπολογιστική επιχειρηματολογία | |||||||
Ημερομηνία έκδοσης | 2023-12-01 | ||||||
Συλλογή | Σχολή/Τμήμα--Σχολή Θετικών και Τεχνολογικών Επιστημών--Τμήμα Επιστήμης Υπολογιστών--Μεταπτυχιακές εργασίες ειδίκευσης | ||||||
Τύπος Εργασίας--Μεταπτυχιακές εργασίες ειδίκευσης | |||||||
Μόνιμη Σύνδεση |
https://elocus.lib.uoc.gr//dlib/f/1/6/metadata-dlib-1701429000-391950-2082.tkl![]() ![]() |
||||||
Εμφανίσεις | 853 |
Ψηφιακά τεκμήρια | |
---|---|
![]() |
Δεν έχετε δικαιώματα για να δείτε το έγγραφο.
|