Theofanis I. Aravanis

26 papers A* 2A 1B 1C 3Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
On the Consistency between Belief Revision and Belief Update.
J. Artif. Intell. Res.
Theofanis I. Aravanis
2025 J jnl
Towards machine learning as AGM-style belief change.
Int. J. Approx. Reason.
Theofanis I. Aravanis
2023 J jnl
Collective Belief Revision.
J. Artif. Intell. Res.
Theofanis I. Aravanis
2023 J jnl
Deductive belief change.
Ann. Math. Artif. Intell.
Theofanis I. Aravanis
2023 J jnl
Generalizing Parikh's Criterion for Relevance-Sensitive Belief Revision.
ACM Trans. Comput. Log.
Theofanis I. Aravanis
2022 — conf
A Neuro-Symbolic Approach for Fault Diagnosis in Smart Power Grids.
PCI
Theofanis I. Aravanis, Ioannis Kabouris
2022 J jnl
An ASP-based solver for parametrized-difference revision.
J. Log. Comput.
Theofanis I. Aravanis
2022 — conf
Incorporating Belief Merging into Relevance-Sensitive Belief Structures.
PCI
Theofanis I. Aravanis
2022 J jnl
Theory-relational belief revision.
Ann. Math. Artif. Intell.
Theofanis I. Aravanis, Pavlos Peppas
2021 J jnl
An investigation of parametrized difference revision operators.
Ann. Math. Artif. Intell.
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2021 J jnl
Relevance in Belief Update.
J. Artif. Intell. Res.
Theofanis I. Aravanis
2021 — conf
Relevance-Sensitive Belief Revision in the Realm of Partial Preorders.
PCI
Theofanis I. Aravanis
2021 C conf
Search Problems in Contemporary Power Girds.
EANN
Theofanis I. Aravanis, Andreas Petratos, Georgia Douklia, Efpraxia Plati
2020 J jnl
A study of possible-worlds semantics of relevance-sensitive belief revision.
J. Log. Comput.
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2020 C conf
An ASP-Based Approach for Phase Balancing in Power Electrical Systems.
EANN
Theofanis I. Aravanis, Andreas Petratos, Georgia Douklia
2020 J jnl
Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision.
J. Artif. Intell. Res.
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2020 A conf
Modelling Belief-Revision Functions at Extended Languages.
ECAI
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2020 J jnl
On uniform belief revision.
J. Log. Comput.
Theofanis I. Aravanis
2019 C conf
Fault Diagnosis in Direct Current Electric Motors via an Artificial Neural Network.
EANN
Theofanis I. Aravanis, Tryfon-Chrysovalantis I. Aravanis, Polydoros N. Papadopoulos
2019 J jnl
Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision.
J. Artif. Intell. Res.
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2019 A* conf
Observations on Darwiche and Pearl's Approach for Iterated Belief Revision.
IJCAI
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2019 — —
Relevance and knowledge dynamics for intelligent agents
Theofanis I. Aravanis
2018 — conf
Iterated Belief Revision and Dalal's Operator.
SETN
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams
2018 B conf
Legal Reasoning in Answer Set Programming.
ICTAI
Theofanis I. Aravanis, Konstantinos Demiris, Pavlos Peppas
2017 — conf
Belief Revision in Answer Set Programming.
PCI
Theofanis I. Aravanis, Pavlos Peppas
2017 A* conf
Epistemic-entrenchment Characterization of Parikh's Axiom.
IJCAI
Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams