Home Collections School/Department School of Sciences and Engineering Department of Computer Science Post-graduate theses
Post-graduate theses
Search command : Author="Στεφανίδης" And Author="Κωνσταντίνος"
Current Record: 28 of 833
|
|||||||
Identifier | 000460801 | ||||||
Title | Implementation of verification algorithms for ADFD semantics | ||||||
Alternative Title | Υλοποίηση αλγορίθμων επαλήθευσης για τη σημασιολογία των ADFD | ||||||
Author | Ντάνης, Δημήτριος Α. | ||||||
Thesis advisor | Πλεξουσάκης, Δημήτριος | ||||||
Reviewer |
Φλουρής, Γιώργος
Τζίτζικας, Ιωάννης |
||||||
Abstract |
|
||||||
Language | English | ||||||
Subject | Abstract argumentation | ||||||
Argumentation frameworks | |||||||
Computational argumentation | |||||||
Frameworks επιχειρηματολογίας | |||||||
Αλγόριθμοι επαλήθευσης | |||||||
Αφηρημένη επιχειροματολογία | |||||||
Υπολογιστική επιχειρηματολογία | |||||||
Issue date | 2023-12-01 | ||||||
Collection | School/Department--School of Sciences and Engineering--Department of Computer Science--Post-graduate theses | ||||||
Type of Work--Post-graduate theses | |||||||
Permanent Link | https://elocus.lib.uoc.gr//dlib/f/1/6/metadata-dlib-1701429000-391950-2082.tkl | ||||||
Views | 921 |
Digital Documents | |
---|---|
No permission to view document.
|