Follow
Theofanis I. Aravanis
Title
Cited by
Cited by
Year
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
242019
An investigation of parametrized difference revision operators
T Aravanis, P Peppas, MA Williams
Annals of Mathematics and Artificial Intelligence 89, 7-28, 2021
162021
On uniform belief revision
T Aravanis
Journal of Logic and Computation 30 (7), 1357-1376, 2020
122020
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
112019
Epistemic-entrenchment Characterization of Parikh's Axiom.
TI Aravanis, P Peppas, MA Williams
IJCAI, 772-778, 2017
112017
Legal reasoning in answer set programming
T Aravanis, K Demiris, P Peppas
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
92018
Belief revision in answer set programming
TI Aravanis, P Peppas
Proceedings of the 21st Pan-Hellenic Conference on Informatics, 1-5, 2017
82017
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
62020
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
62018
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
62016
Relevance and knowledge dynamics for intelligent agents
T Aravanis
Πανεπιστήμιο Πατρών. Σχολή Διοίκησης και Οικονομίας. Τμήμα Διοίκησης …, 2019
52019
Theory-relational belief revision
T Aravanis, P Peppas
Annals of Mathematics and Artificial Intelligence 90 (6), 573-594, 2022
42022
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
42017
An ASP-based solver for parametrized-difference revision
T Aravanis
Journal of Logic and Computation 32 (3), 630-666, 2022
32022
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
32019
Relevance in belief update
T Aravanis
Journal of Artificial Intelligence Research 72, 251-283, 2021
22021
Incompatibilities between iterated and relevance-sensitive belief revision
T Aravanis, P Peppas, MA Williams
Journal of Artificial Intelligence Research 69, 85-108, 2020
22020
Strengthening Parametrized-Difference Belief Revision
TI Aravanis
Bulletin of the Hellenic Mathematical Society 64, 69-91, 2020
22020
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
22019
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
12023
The system can't perform the operation now. Try again later.
Articles 1–20