Showing 2025Show all
3 papers · 1 filter
math.AP2025
Time-asymptotic self-similarity of the damped compressible Euler equations in parabolic scaling variables
Thomas Eiter, Stefanie Schindler
We study the long-time behavior of solutions to the compressible Euler equations with frictional damping in the whole space, where we prescribe direction-dependent values for the d…
math.AP2025
Approximation of time-periodic flow past a translating body by flows in bounded domains
Thomas Eiter, Ana Leonor Silvestre
We consider a time-periodic incompressible three-dimensional Navier-Stokes flow past a translating rigid body. In the first part of the paper, we establish the existence and unique…
cs.AI2025
Refining Gelfond Rationality Principle: Towards More Comprehensive Foundational Principles for Answer Set Semantics
Yi-Dong Shen, Thomas Eiter
Non-monotonic logic programming is the basis for a declarative problem solving paradigm known as answer set programming (ASP). Departing from the seminal definition by Gelfond and…