Theofanis I. Aravanis

According to our database, Theofanis I. Aravanis authored at least 24 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Deductive belief change.

Theofanis I. Aravanis

Ann. Math. Artif. Intell., August, 2023

Generalizing Parikh's Criterion for Relevance-Sensitive Belief Revision.

Theofanis I. Aravanis

ACM Trans. Comput. Log., April, 2023

Collective Belief Revision.

Theofanis I. Aravanis

J. Artif. Intell. Res., 2023

2022

An ASP-based solver for parametrized-difference revision.

Theofanis I. Aravanis

J. Log. Comput., 2022

Theory-relational belief revision.

Theofanis I. Aravanis, Pavlos Peppas

Ann. Math. Artif. Intell., 2022

A Neuro-Symbolic Approach for Fault Diagnosis in Smart Power Grids.

Theofanis I. Aravanis, Ioannis Kabouris

Proceedings of the 26th Pan-Hellenic Conference on Informatics, 2022

Incorporating Belief Merging into Relevance-Sensitive Belief Structures.

Theofanis I. Aravanis

Proceedings of the 26th Pan-Hellenic Conference on Informatics, 2022

2021

Relevance in Belief Update.

Theofanis I. Aravanis

J. Artif. Intell. Res., 2021

An investigation of parametrized difference revision operators.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

Ann. Math. Artif. Intell., 2021

Relevance-Sensitive Belief Revision in the Realm of Partial Preorders.

Theofanis I. Aravanis

Proceedings of the PCI 2021: 25th Pan-Hellenic Conference on Informatics, Volos, Greece, November 26, 2021

Search Problems in Contemporary Power Girds.

Theofanis I. Aravanis, Andreas Petratos, Georgia Douklia, Efpraxia Plati

Proceedings of the 22nd Engineering Applications of Neural Networks Conference, 2021

2020

A study of possible-worlds semantics of relevance-sensitive belief revision.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

J. Log. Comput., 2020

On uniform belief revision.

Theofanis I. Aravanis

J. Log. Comput., 2020

Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

J. Artif. Intell. Res., 2020

Modelling Belief-Revision Functions at Extended Languages.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

An ASP-Based Approach for Phase Balancing in Power Electrical Systems.

Theofanis I. Aravanis, Andreas Petratos, Georgia Douklia

Proceedings of the 21st EANN (Engineering Applications of Neural Networks) 2020 Conference, 2020

2019

Relevance and knowledge dynamics for intelligent agents

Theofanis I. Aravanis

PhD thesis, 2019

Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

J. Artif. Intell. Res., 2019

Observations on Darwiche and Pearl's Approach for Iterated Belief Revision.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Fault Diagnosis in Direct Current Electric Motors via an Artificial Neural Network.

Theofanis I. Aravanis, Tryfon-Chrysovalantis I. Aravanis, Polydoros N. Papadopoulos

Proceedings of the Engineering Applications of Neural Networks, 2019

2018

Iterated Belief Revision and Dalal's Operator.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

Proceedings of the 10th Hellenic Conference on Artificial Intelligence, 2018

Legal Reasoning in Answer Set Programming.

Theofanis I. Aravanis, Konstantinos Demiris, Pavlos Peppas

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

2017

Belief Revision in Answer Set Programming.

Theofanis I. Aravanis, Pavlos Peppas

Proceedings of the 21st Pan-Hellenic Conference on Informatics, 2017

Epistemic-entrenchment Characterization of Parikh's Axiom.

Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017