Theofanis Aravanis

Orcid: 0000-0003-0329-3200

According to our database1, Theofanis Aravanis authored at least 38 papers between 2017 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Non-prioritised kernel contraction.
J. Appl. Non Class. Logics, January, 2026

A relational framework for preference change.
Log. J. IGPL, 2026

2025
Belief Structures in the Realm of Belief Contraction.
J. Log. Lang. Inf., December, 2025

Filters-based revision.
Ann. Math. Artif. Intell., October, 2025

ASP-Assisted Symbolic Regression: Uncovering Hidden Physics in Fluid Mechanics.
CoRR, July, 2025

Machine Learning as Iterated Belief Change a la Darwiche and Pearl.
CoRR, June, 2025

Tailoring disjoint belief structures to the AGM framework.
J. Log. Comput., 2025

On the Consistency between Belief Revision and Belief Update.
J. Artif. Intell. Res., 2025

Towards machine learning as AGM-style belief change.
Int. J. Approx. Reason., 2025

An Efficient Deep Learning Framework for Real-Time Gender Classification from Facial Images.
Proceedings of the 9th International Conference on Algorithms, Computing and Systems, 2025

From Reviews to Representations: Integrated Big Data Analytics on Amazon Product Metadata.
Proceedings of the IEEE International Conference on Big Data, 2025

2024
Machine Learning-Based Geometric Interpolation for Fluid-Flow Modelling.
Proceedings of the 28th Pan-Hellenic Conference on Progress in Computing and Informatics, 2024

Machine-Learning Modelling of a Fluid Flow in a Two-Dimensional Channel.
Proceedings of the 15th International Conference on Information, 2024

2023
Deductive belief change.
Ann. Math. Artif. Intell., August, 2023

Generalizing Parikh's Criterion for Relevance-Sensitive Belief Revision.
ACM Trans. Comput. Log., April, 2023

Collective Belief Revision.
J. Artif. Intell. Res., 2023

Predicting Fish-Mortality: Artificial Neural Networks vs Symbolic Regression.
Proceedings of the 14th International Conference on Information, 2023

2022
An ASP-based solver for parametrized-difference revision.
J. Log. Comput., 2022

Theory-relational belief revision.
Ann. Math. Artif. Intell., 2022

A Neuro-Symbolic Approach for Fault Diagnosis in Smart Power Grids.
Proceedings of the 26th Pan-Hellenic Conference on Informatics, 2022

Incorporating Belief Merging into Relevance-Sensitive Belief Structures.
Proceedings of the 26th Pan-Hellenic Conference on Informatics, 2022

2021
Relevance in Belief Update.
J. Artif. Intell. Res., 2021

An investigation of parametrized difference revision operators.
Ann. Math. Artif. Intell., 2021

Relevance-Sensitive Belief Revision in the Realm of Partial Preorders.
Proceedings of the PCI 2021: 25th Pan-Hellenic Conference on Informatics, Volos, Greece, November 26, 2021

Search Problems in Contemporary Power Girds.
Proceedings of the 22nd Engineering Applications of Neural Networks Conference, 2021

2020
A study of possible-worlds semantics of relevance-sensitive belief revision.
J. Log. Comput., 2020

On uniform belief revision.
J. Log. Comput., 2020

Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision.
J. Artif. Intell. Res., 2020

Modelling Belief-Revision Functions at Extended Languages.
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.
Proceedings of the 21st EANN (Engineering Applications of Neural Networks) 2020 Conference, 2020

2019
Relevance and knowledge dynamics for intelligent agents
PhD thesis, 2019

Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision.
J. Artif. Intell. Res., 2019

Observations on Darwiche and Pearl's Approach for Iterated Belief Revision.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Fault Diagnosis in Direct Current Electric Motors via an Artificial Neural Network.
Proceedings of the Engineering Applications of Neural Networks, 2019

2018
Iterated Belief Revision and Dalal's Operator.
Proceedings of the 10th Hellenic Conference on Artificial Intelligence, 2018

Legal Reasoning in Answer Set Programming.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

2017
Belief Revision in Answer Set Programming.
Proceedings of the 21st Pan-Hellenic Conference on Informatics, 2017

Epistemic-entrenchment Characterization of Parikh's Axiom.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017


  Loading...