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
Relevance and knowledge dynamics for intelligent agents
T Aravanis
Πανεπιστήμιο Πατρών. Σχολή Διοίκησης και Οικονομίας. Τμήμα Διοίκησης …, 2019
52019
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
52016
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
Deductive belief change
T Aravanis
Annals of Mathematics and Artificial Intelligence 91 (4), 489-515, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20