3 papers
cs.AI2026
Selective Credibility-Limited Belief Update
Theofanis Aravanis, Costas D. Koutras
Belief update concerns changes in an agent's beliefs induced by changes in the underlying world. Standard Katsuno-Mendelzon update assumes that an epistemic input can be incorporat…
cs.AI2025
ASP-Assisted Symbolic Regression: Uncovering Hidden Physics in Fluid Mechanics
Theofanis Aravanis, Grigorios Chrimatopoulos, Mohammad Ferdows +2
Symbolic Regression (SR) offers an interpretable alternative to conventional Machine-Learning (ML) approaches, which are often criticized as ``black boxes''. In contrast to standar…
cs.AI2025
Machine Learning as Iterated Belief Change a la Darwiche and Pearl
Theofanis Aravanis
Artificial Neural Networks (ANNs) are powerful machine-learning models capable of capturing intricate non-linear relationships. They are widely used nowadays across numerous scient…