E-LIB Suche - Ergebnisse für: EITER, THOMAS

1

Existence of energy-variational solutions to hyperbolic con..:

Eiter, Thomas ; Lasarzik, Robert
Calculus of Variations and Partial Differential Equations. 63 (2024) 4 - p. , 2024

Link: https://doi.org/10.1007/..

2

aspmc: New frontiers of algebraic answer set counting:

Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael
Artificial Intelligence. 330 (2024) - p. 104109 , 2024

Link: https://doi.org/10.1016/..

3

Answer-Set Programming for Lexicographical Makespan Optimis..:

EITER, THOMAS ; GEIBINGER, TOBIAS ; MUSLIU, NYSRET...
Theory and Practice of Logic Programming. 24 (2024) 2 - p. 421-421 , 2024

Link: https://doi.org/10.1017/..

4

Falling Drop in an Unbounded Liquid Reservoir: Steady-state..:

Eiter, Thomas ; Kyed, Mads ; Shibata, Yoshihiro
Journal of Mathematical Fluid Mechanics. 25 (2023) 2 - p. , 2023

Link: https://doi.org/10.1007/..

5

Contrastive Explanations for Answer-Set Programs:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Eiter, Thomas ; Geibinger, Tobias ; Oetsch, Johannes - p. 73-89 , 2023

Link: https://doi.org/10.1007/..

6

Periodic $\mathrm{L}_{p}$ Estimates by ℛ-Boundedness: Appli..:

Eiter, Thomas ; Kyed, Mads ; Shibata, Yoshihiro
Acta Applicandae Mathematicae. 188 (2023) 1 - p. , 2023

Link: https://doi.org/10.1007/..

7

Witnesses for Answer Sets of Logic Programs:

Wang, Yisong ; Eiter, Thomas ; Zhang, Yuanlin.
ACM Transactions on Computational Logic. 24 (2023) 2 - p. 1-46 , 2023

Link: https://doi.org/10.1145/..

8

Answer-Set Programming for Lexicographical Makespan Optimis..:

EITER, THOMAS ; GEIBINGER, TOBIAS ; MUSLIU, NYSRET...
Theory and Practice of Logic Programming. 23 (2023) 6 - p. 1281-1306 , 2023

Link: https://doi.org/10.1017/..

9

Prolog: The Next 50 Years

Lecture Notes in Artificial Intelligence, 13900

Warren, David S ; Dahl, Veronica ; Eiter, Thomas... - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

10

On the Oseen-Type Resolvent Problem Associated with Time-Pe..:

Eiter, Thomas
SIAM Journal on Mathematical Analysis. 54 (2022) 4 - p. 4987-5012 , 2022

Link: https://doi.org/10.1137/..

11

A Qualitative Temporal Extension of Here-and-There Logic:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Eiter, Thomas ; Schneider, Patrik - p. 159-176 , 2022

Link: https://doi.org/10.1007/..

12

Weak-strong uniqueness and energy-variational solutions for..:

Eiter, Thomas ; Hopf, Katharina ; Lasarzik, Robert
Advances in Nonlinear Analysis. 12 (2022) 1 - p. , 2022

Link: https://doi.org/10.1515/..

13

The Collection of Papers Celebrating the 20th Anniversary o..:

EITER, THOMAS ; MAHER, MICHAEL ; PONTELLI, ENRICO..
Theory and Practice of Logic Programming. 23 (2022) 1 - p. 1-1 , 2022

Link: https://doi.org/10.1017/..

14

On the Stokes-Type Resolvent Problem Associated with Time-P..:

Eiter, Thomas
Journal of Mathematical Fluid Mechanics. 24 (2022) 2 - p. , 2022

Link: https://doi.org/10.1007/..

15

Leray–Hopf solutions to a viscoelastoplastic fluid model wi..:

Eiter, Thomas ; Hopf, Katharina ; Mielke, Alexander
Nonlinear Analysis: Real World Applications. 65 (2022) - p. 103491 , 2022

Link: https://doi.org/10.1016/..