Full characterization of Parikh's relevance-sensitive axiom for belief revision T Aravanis, P Peppas, MA Williams Journal of Artificial Intelligence Research 66, 765-792, 2019 | 24 | 2019 |
An investigation of parametrized difference revision operators T Aravanis, P Peppas, MA Williams Annals of Mathematics and Artificial Intelligence 89, 7-28, 2021 | 16 | 2021 |
On uniform belief revision T Aravanis Journal of Logic and Computation 30 (7), 1357-1376, 2020 | 12 | 2020 |
Observations on Darwiche and Pearl's approach for iterated belief revision T Aravanis, P Peppas, MA Williams IJCAI International Joint Conference on Artificial Intelligence, 2019 | 12 | 2019 |
Legal reasoning in answer set programming T Aravanis, K Demiris, P Peppas 2018 IEEE 30th International Conference on Tools with Artificial …, 2018 | 11 | 2018 |
Epistemic-entrenchment Characterization of Parikh's Axiom. TI Aravanis, P Peppas, MA Williams IJCAI, 772-778, 2017 | 11 | 2017 |
Belief revision in answer set programming TI Aravanis, P Peppas Proceedings of the 21st Pan-Hellenic Conference on Informatics, 1-5, 2017 | 9 | 2017 |
A study of possible-worlds semantics of relevance-sensitive belief revision T Aravanis, P Peppas, MA Williams Journal of Logic and Computation 30 (5), 1125-1142, 2020 | 6 | 2020 |
Iterated Belief Revision and Dalal's Operator TI Aravanis, P Peppas, MA Williams Proceedings of the 10th Hellenic Conference on Artificial Intelligence, 1-4, 2018 | 6 | 2018 |
Lightning-induced overvoltages in the hellenic electricity distribution network TI Aravanis, EC Pyrgioti, IF Gonos 2016 IEEE International Conference on High Voltage Engineering and …, 2016 | 6 | 2016 |
Relevance and knowledge dynamics for intelligent agents T Aravanis Πανεπιστήμιο Πατρών. Σχολή Διοίκησης και Οικονομίας. Τμήμα Διοίκησης …, 2019 | 5 | 2019 |
Theory-relational belief revision T Aravanis, P Peppas Annals of Mathematics and Artificial Intelligence 90 (6), 573-594, 2022 | 4 | 2022 |
Epistemic-Entrenchment Characterization of Parametrized Difference Revision Operators TI Aravanis, P Peppas, MA Williams Proceedings of the 11th Pan-Hellenic Logic Symposium, PLS, 202-208, 2017 | 4 | 2017 |
Using Level-Based Multiple Reasoning in a Web-Based Intelligent System for the Diagnosis of Farmed Fish Diseases K Kovas, I Hatzilygeroudis, K Dimitropoulos, G Spiliopoulos, K Poulos, ... Applied Sciences 13 (24), 13059, 2023 | 3 | 2023 |
An ASP-based solver for parametrized-difference revision T Aravanis Journal of Logic and Computation 32 (3), 630-666, 2022 | 3 | 2022 |
Fault diagnosis in Direct Current electric motors via an Artificial Neural Network TI Aravanis, TCI Aravanis, PN Papadopoulos Engineering Applications of Neural Networks: 20th International Conference …, 2019 | 3 | 2019 |
Relevance in belief update T Aravanis Journal of Artificial Intelligence Research 72, 251-283, 2021 | 2 | 2021 |
Incompatibilities between iterated and relevance-sensitive belief revision T Aravanis, P Peppas, MA Williams Journal of Artificial Intelligence Research 69, 85-108, 2020 | 2 | 2020 |
Strengthening Parametrized-Difference Belief Revision TI Aravanis Bulletin of the Hellenic Mathematical Society 64, 69-91, 2020 | 2* | 2020 |
On the strong version of Parikh’s relevance-sensitive axiom for belief revision T Aravanis, P Peppas, MA Williams Proceedings of the 12th Pan-Hellenic Logic Symposium, PLS 2019, 2019 | 2 | 2019 |