Best Paper & Best Student Paper Award

Auszeichnung: Preis › Publikations-/Konferenzpreis

Empfänger:innen

Oscar Barreca - , Seniorprofessor für Automatentheorie
Thomas Eiter - (Antragsteller/Projektleiter:in)
Davide Soldà - (Mitglied)

Beschreibung

Best Paper & Best Student Paper Award für „On the Complexity of Model Checking for Temporal Equilibrium Logic“.

Datum der Verleihung	11 Sept. 2026
Bekanntheitsgrad	International
Verleihende Organisationen	Springer Nature Switzerland

Konferenz

Titel	Logic Programming and Nonmonotonic Reasoning
Kurztitel	LPNMR
Veranstaltungsnummer
Dauer	7 - 11 September 2026
Webseite	https://lpnmr2026.aics.aau.at/
Bekanntheitsgrad	Internationale Veranstaltung
Ort	Universität Klagenfurt
Stadt	Klagenfurt
Land	Österreich

Verknüpfte Inhalte

Veröffentlichungen

On the Complexity of Model Checking for Temporal Equilibrium Logic

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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)

Forschungsportal der TU Dresden

Empfänger:innen

Beschreibung

Konferenz

Verknüpfte Inhalte