Title: "Relevance and Knowledge Dynamics for Intelligent Agents"
Supervisors: Prof. Pavlos Peppas & Prof. Yiannis Stamatiou
Theofanis Aravanis, "Belief structures in the realm of belief contraction", Journal of Logic, Language and Information, 2025.
Theofanis Aravanis, "Belief update through semiorders", Mathematics, Vol. 13, Iss. 13, 2025. [PDF]
Theofanis Aravanis, "Towards machine learning as AGM-style belief change", International Journal of Approximate Reasoning, Vol. 183, 109437, 2025. [PDF]
Theofanis I. Aravanis, "On the consistency between belief revision and belief update", Journal of Artificial Intelligence Research, Vol. 82, pp. 1743-1771, 2025. [PDF]
Theofanis Aravanis, "Darwiche and Pearl's iterated belief revision: Not always Spohn-expressible", Mathematics, Vol. 13, Iss. 6, 2025. [PDF]
Maria Andrikopoulou, Theofanis Aravanis, James P. Delgrande, Panagis Karazeris, and Pavlos Peppas, "Filters-based revision", Annals of Mathematics and Artificial Intelligence, 2025.
Theofanis Aravanis, "Tailoring disjoint belief structures to the AGM framework", Journal of Logic and Computation, 2024.
Theofanis Aravanis, Grigorios Chrimatopoulos, Michalis Xenos, and Efstratios E. Tzirtzilakis, "Forecasting two-dimensional channel flow using Machine Learning", Physics of Fluids, Vol. 36, Iss. 10, 2024.
Theofanis Aravanis, Ioannis Hatzilygeroudis, and Georgios Spiliopoulos, "Ensemble modelling for predicting fish mortality", Applied Sciences, Vol. 14, 2024. [PDF]
Theofanis I. Aravanis, "Collective belief revision", Journal of Artificial Intelligence Research, Vol. 78, pp. 1221-1247, 2023. [PDF]
Konstantinos Kovas, Ioannis Hatzilygeroudis, Konstantinos Dimitropoulos, Georgios Spiliopoulos, Konstantinos Poulos, Evi Abatzidou, Theofanis Aravanis, Aristeidis Ilias, Grigorios Kanlis, and John Theodorou, "Using level-based multiple reasoning in a Web-based intelligent system for the diagnosis of farmed fish diseases", Applied Sciences, Vol. 13, 2023. [PDF]
Theofanis Aravanis, "Deductive belief change", Annals of Mathematics and Artificial Intelligence, Vol. 91, pp. 489-515, 2023.
Theofanis Aravanis, "Generalizing Parikh's criterion for relevance-sensitive belief revision", ACM Transactions on Computational Logic, Vol. 24, Article No. 18, 2023.
Theofanis Aravanis and Pavlos Peppas, "Theory-relational belief revision", Annals of Mathematics and Artificial Intelligence, Vol. 90, pp. 573-594, 2022.
Theofanis Aravanis, "An epistemological study of theory change", Bulletin of the Section of Logic, Vol. 51, pp. 1-26, 2022. [PDF]
Theofanis Aravanis, "An ASP-based solver for parametrized-difference revision", Journal of Logic and Computation, Vol. 32, pp. 630-666, 2021.
Theofanis I. Aravanis, "Relevance in belief update", Journal of Artificial Intelligence Research, Vol. 72, pp. 251-283, 2021. [PDF]
Theofanis Aravanis, "On uniform belief revision", Journal of Logic and Computation, Vol. 30, pp. 1357-1376, 2020.
Theofanis I. Aravanis, Pavlos Peppas, and Mary-Anne Williams, "Incompatibilities between iterated and relevance-sensitive belief revision", Journal of Artificial Intelligence Research, Vol. 69, pp. 85-108, 2020. [PDF]
Theofanis I. Aravanis, Pavlos Peppas, and Mary-Anne Williams, "A study of possible-worlds semantics of relevance-sensitive belief revision", Journal of Logic and Computation, Vol. 30, pp. 1125-1142, 2020.
Theofanis I. Aravanis, Pavlos Peppas, and Mary-Anne Williams, "Full characterization of Parikh’s relevance-sensitive axiom for belief revision", Journal of Artificial Intelligence Research, Vol. 66, pp. 765-792, 2019. [PDF]
Theofanis Aravanis, Pavlos Peppas, and Mary-Anne Williams, "An investigation of parametrized difference revision operators", Annals of Mathematics and Artificial Intelligence, 2019.
Theofanis Aravanis, Grigorios Chrimatopoulos, Michalis Xenos, and Efstratios E. Tzirtzilakis, "Machine-learning modelling of a fluid flow in a two-dimensional channel", Proceedings of the 15th International Conference on Information, Intelligence, Systems and Applications (IISA 2024), 2024.
Theofanis Aravanis, Aristeidis Ilias, Ioannis Hatzilygeroudis, and Georgios Spiliopoulos, "Predicting fish-mortality: Artificial Neural Networks vs Symbolic Regression", Proceedings of the 14th International Conference on Information, Intelligence, Systems and Applications (IISA 2023), 2023.
Theofanis Aravanis, Andreas Petratos, Georgia Douklia, and Efpraxia Plati, "Search problems in contemporary power grids", Proceedings of the 22nd International Conference on Engineering Applications of Neural Networks (EANN 2021), pp. 331-342, 2021.
Theofanis Aravanis, Pavlos Peppas, and Mary-Anne Williams, "Modelling belief-revision functions at extended languages", Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), pp. 601-607, 2020. [26,8 % acceptance rate]
Theofanis Aravanis, Andreas Petratos, and Georgia Douklia, "An ASP-based approach for phase balancing in power electrical systems", Proceedings of the 21st International Conference on Engineering Applications of Neural Networks (EANN 2020), pp. 511-520, 2020.
Theofanis Aravanis, Pavlos Peppas, and Mary-Anne Williams, "Observations on Darwiche and Pearl’s approach for iterated belief revision", Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), pp. 1509-1515, 2019. [17,9 % acceptance rate, PDF]
Theofanis I. Aravanis, Tryfon-Chrysovalantis I. Aravanis, and Polydoros N. Papadopoulos, "Fault diagnosis in Direct Current electric motors via an Artificial Neural Network", Proceedings of the 20th International Conference on Engineering Applications of Neural Networks (EANN 2019), pp. 488-498, 2019.
Theofanis Aravanis, Konstantinos Demiris, and Pavlos Peppas, "Legal reasoning in Answer Set Programming", Proceedings of the 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018), pp. 302-306, 2018.
Theofanis Aravanis, Pavlos Peppas, and Mary-Anne Williams, "Epistemic-entrenchment characterization of Parikh’s axiom", Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), pp. 772-778, 2017. [26 % acceptance rate, PDF]
T. I. Aravanis, E. C. Pyrgioti, and I. F. Gonos, "Lightning-induced overvoltages in the Hellenic electricity distribution network", Proceedings of the 2016 IEEE 5th International Conference on High Voltage Engineering and Application (ICHVE 2016), paper P-1-28, 2016.
Theofanis Aravanis, "Belief revision against background knowledge", Bulletin of the Hellenic Mathematical Society, Vol. 66, pp. 1-10, 2022. [PDF]
Theofanis Aravanis, "On the nature of scientific law", Pelopas: Interdisciplinary Journal of the University of Peloponnese, Vol. 5, No. 1, pp. 78-85, 2021. [PDF]
Theofanis I. Aravanis, "Strengthening parametrized-difference belief revision", Bulletin of the Hellenic Mathematical Society, Vol. 64, pp. 69-91, 2020. [PDF]
Theofanis Aravanis, Grigorios Chrimatopoulos, Michalis Xenos, and Efstratios E. Tzirtzilakis, "Machine learning-based geometric interpolation for fluid-flow modelling", Proceedings of the 28th Pan-Hellenic Conference on Progress in Computing Informatics with International Participation (PCI 2024), ACM, pp. 407-412, 2024. [PDF]
Theofanis Aravanis and Ioannis Kabouris, "A neuro-symbolic approach for fault diagnosis in smart power grids", Proceedings of the 26th Pan-Hellenic Conference on Informatics with International Participation (PCI 2022), ACM, pp. 90-95, 2022. [PDF]
Theofanis Aravanis, "Incorporating belief merging into relevance-sensitive belief structures", Proceedings of the 26th Pan-Hellenic Conference on Informatics with International Participation (PCI 2022), ACM, pp. 8-13, 2022. [PDF]
Theofanis Aravanis, "Relevance-sensitive belief revision in the realm of partial preorders", Proceedings of the 25th Pan-Hellenic Conference on Informatics with International Participation (PCI 2021), ACM, pp. 1-5, 2021.
Theofanis Aravanis, "Properties of parametrized-difference revision", Proceedings of the 13th Pan-Hellenic Logic Symposium (PLS 2021), 2021.
Theofanis Aravanis and Pavlos Peppas, "Types of rational Horn revision operators", Proceedings of the 13th Pan-Hellenic Logic Symposium (PLS 2021), 2021.
Theofanis Aravanis, Pavlos Peppas, and Mary-Anne Williams, "On the strong version of Parikh’s relevance-sensitive axiom for belief revision", Proceedings of the 12th Pan-Hellenic Logic Symposium (PLS 2019), 2019.
Maria Andrikopoulou and Theofanis Aravanis, "Mapping parametrised difference revision operators to belief contraction", Proceedings of the 12th Pan-Hellenic Logic Symposium (PLS 2019), 2019.
Theofanis I. Aravanis, Pavlos Peppas, and Mary-Anne Williams, "Iterated belief revision and Dalal’s operator", Proceedings of the 10th Hellenic Conference on Artificial Intelligence (SETN 2018), ACM, Article No. 26, 2018.
Theofanis I. Aravanis and Pavlos Peppas, "Belief revision in Answer Set Programming", Proceedings of the 21st Pan-Hellenic Conference on Informatics (PCI 2017), ACM, Article No. 2, 2017.
Theofanis I. Aravanis, Pavlos Peppas, and Mary-Anne Williams, "Epistemic-entrenchment characterization of parametrized difference revision operators", Proceedings of the 11th Pan-Hellenic Logic Symposium (PLS 2017), pp. 202-208, 2017.
Theofanis I. Aravanis and Pavlos Peppas, "Six degrees of separation in Answer Set Programming", Proceedings of the 11th Pan-Hellenic Logic Symposium (PLS 2017), pp. 209-215, 2017.
Theofanis Aravanis, "Machine learning as iterated belief change à la Darwiche and Pearl", arXiv:2506.13157, 2025. [PDF]
Theofanis Aravanis, Grigorios Chrimatopoulos, Mohammad Ferdows, Michalis Xenos, and Efstratios Em. Tzirtzilakis, “ASP-assisted Symbolic Regression: Uncovering hidden physics in fluid mechanics”, arXiv:2507.17777, 2025. [PDF]