المؤلفون: Kalogeros, Eleftherios, Gergatsoulis, Manolis, Damigos, Matthew, Nomikos, Christos

مصطلحات موضوعية: Computer Science - Databases, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Data Structures and Algorithms

الوصول الحر: http://arxiv.org/abs/2209.05359Test

المؤلفون: Charalambidis, Angelos, Nomikos, Christos, Rondogiannis, Panos

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

الوصول الحر: http://arxiv.org/abs/2205.04882Test

المؤلفون: Charalambidis, Angelos, Nomikos, Christos, Rondogiannis, Panos

المصدر: Theory and Practice of Logic Programming 19 (2019) 925-940

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Computational Complexity, Computer Science - Databases, Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1907.09820Test

المؤلفون: Kalogeros, Eleftherios, Gergatsoulis, Manolis, Damigos, Matthew, Nomikos, Christos

المصدر: Information Systems ; volume 115, page 102194 ; ISSN 0306-4379

مصطلحات موضوعية: Hardware and Architecture, Information Systems, Software

الإتاحة: https://doi.org/10.1016/j.is.2023.102194Test
https://api.elsevier.com/content/article/PII:S0306437923000303?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S0306437923000303?httpAccept=text/plainTest

المؤلفون: Koutras, Costas D., Nomikos, Christos

المصدر: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing

الإتاحة: https://doi.org/10.1145/3477314.3507138Test

المؤلفون: Koutras, Costas D, Moyzes, Christos, Nomikos, Christos, Tsaprounis, Konstantinos, Zikos, Yorgos

المصدر: Logic Journal of the IGPL; Feb2023, Vol. 31 Issue 1, p68-95, 28p

مصطلحات موضوعية: KNOWLEDGE representation (Information theory), SET theory, FIRST-order logic, SOCIAL choice, EPISTEMIC logic, MATCHING theory

المؤلفون: Galanaki, Chrysida, Nomikos, Christos, Rondogiannis, Panos

المساهمون: European Commission, European Social Fund

المصدر: Annals of Pure and Applied Logic ; volume 168, issue 2, page 234-253 ; ISSN 0168-0072

مصطلحات موضوعية: Logic

الإتاحة: https://doi.org/10.1016/j.apal.2016.10.005Test
https://api.elsevier.com/content/article/PII:S0168007216301282?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S0168007216301282?httpAccept=text/plainTest

المؤلفون: Koutras, Costas D., Liaskos, Konstantinos, Moyzes, Christos, Nomikos, Christos, Rantsoudis, Christos

المصدر: Annals of Mathematics and Artificial Intelligence ; volume 90, issue 4, page 397-424 ; ISSN 1012-2443 1573-7470

مصطلحات موضوعية: Applied Mathematics, Artificial Intelligence

الإتاحة: https://doi.org/10.1007/s10472-021-09779-7Test

المؤلفون: Koutras, Costas D, Moyzes, Christos, Nomikos, Christos, Tsaprounis, Konstantinos, Zikos, Yorgos

المصدر: Logic Journal of the IGPL ; volume 31, issue 1, page 68-95 ; ISSN 1367-0751 1368-9894

مصطلحات موضوعية: Logic

الإتاحة: https://doi.org/10.1093/jigpal/jzab030Test
https://academic.oup.com/jigpal/article-pdf/31/1/68/49301730/jzab030.pdfTest

المؤلفون: Γεργατσούλης, Μανώλης, Ροντογιάννης, Παναγιώτης, Νομικός, Χρίστος, Gergatsoulis, Manolis, Rondogiannis, Panos, Nomikos, Christos

المصدر: Theoretical Computer Science Volume 342, Issue 2-3, 7 September 2005, Pages 382-415 ; Scopus ; http://www.scopus.com/record/display.url?eid=2-s2.0-23944516231&origin=resultslist&sort=plf-f&src=s&st1=gergatsoulis&nlo=1&nlr=20&nls=count-f&sid=3B1D362F835957ADCD5A17ECFEEC6A8D.WlW7NKKC52nnQNxjqAQrlA%3a63&sot=anl&sdt=aut&sl=41&s=AU-ID%28%22Gergatsoulis%2c+Manolis%22+6602969138%29&relpos=24&relpos=4&citeCnt=4&searchTerm=AU-ID%28%5C%26quot%3BGergatsoulis,+Manolis%5C%26quot%3B+6602969138%29Test

مصطلحات موضوعية: Stratified negation, Temporal deductive databases, Temporal logic programming, Πηγές πληροφορησης, υποστήριξη, δίαυλοι, Βάσεις δεδομένων και δικτύωση βάσεων δεδομένων, Information sources, supports, channels, Databases and DataBase Networking

العلاقة: 3043975; http://hdl.handle.net/10797/13671Test; HL

الإتاحة: http://hdl.handle.net/10797/13671Test