Best Paper & Best Student Paper Award

Prize: Publication/Conference prize

Recipients

Oscar Barreca - , Professor (rtd.) for Automata Theory
Thomas Eiter - (Applicant/PI)
Davide Soldà - (Member)

Description

Best Paper & Best Student Paper Award for "On the Complexity of Model Checking for Temporal Equilibrium Logic".

Awarded date	11 Sept 2026
Degree of recognition	International
Granting Organisations	Springer Nature Switzerland

Conference

Title	Logic Programming and Nonmonotonic Reasoning
Abbreviated title	LPNMR
Conference number
Duration	7 - 11 September 2026
Website	https://lpnmr2026.aics.aau.at/
Degree of recognition	International event
Location	Universität Klagenfurt
City	Klagenfurt
Country	Austria

On the Complexity of Model Checking for Temporal Equilibrium Logic

Barreca, O., Eiter, T. & Soldà, D., 11 Oct 2026, Logic Programming and Nonmonotonic Reasoning: 18th International Conference, LPNMR 2026, Klagenfurt, Austria, September 7–11, 2026, Proceedings. Springer Nature Switzerland, p. 67-82 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 16952).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden

Best Paper & Best Student Paper Award

Recipients

Description

Conference

Related content

On the Complexity of Model Checking for Temporal Equilibrium Logic