4 papers
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…
Existence and selection of solutions in the energy-variational framework with applications in fluid dynamics
Thomas Eiter, Robert Lasarzik, Marcel ÅliwiÅski
We provide a novel existence result for energy-variational solutions to a general class of evolutionary partial differential equations. Compared to previous works on this solution…
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…
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…