Κάκας Αντώνης
Διατελέσαντα Μέλη Ακαδημαϊκού Προσωπικού
Επαφή
- Θέση:
- Καθηγητής (01/02/1992 – 31/08/2023) - Συνταξιοδοτήθηκε
- Διεύθυνση
-
Γραφείο: ΘΕΕ 01 110,
Τμήμα Πληροφορικής,
Πανεπιστήμιο Κύπρου,
Λεωφόρος Πανεπιστημίου 1
-
Αγλαντζιά
-
Λευκωσία
-
2109
-
ΚΥΠΡΟΣ
- Τηλέφωνο
- (+357) 22892706
- Φαξ
- (+357) 22892701
-
- antonis-AT-ucy.ac.cy
- Ιστότοπος
- http://www.cs.ucy.ac.cy/~antonis
Διάφορες Πληροφορίες
-
Ph.D., Imperial College, University of London, UK, 1984 Undergraduate studies at the Imperial College, University of London, UK (B.Sc. in Mathematics, 1980). Graduate studies at the Imperial College, University of London, UK (M.Sc. in Computer Science, 1987 and Ph.D. in Theoretical Physics, 1984). He has worked as Research Fellow at Kings College, UK (1984-1986), at the University of Zurich, Switzerland (1987-1988), and at Imperial College, UK (1988-1992). He is a member of the editorial board of the international journals AI Communications, Journal of Applied Logic and Journal of Theory and Applications of Logic Programming. * Υπολογιστική Λογική.
* Επιχειρηματολογία.
* Απαγωγικός και Επαγωγικός Συλλογισμός.
* Κοινή Λογική.
* Γνωστκά Συστήματα.