Thomas Eiter
Thomas Eiter
Affiliation: TU Wien
Affiliation: TU Wien, Austria


Talks
(ASPOCP)
Neural Decision-Propagation for Answer Set Programming (Extended Abstract) · Opening + Neurosymbolic and Metaprogramming
(JoeFest)
Answer Set Programming for Actual Causality: The Role of Negations · Contributed Talks 2
(ICLP)
Answer-Set-Programming-based Abstractions for Reinforcement Learning · Block 4 (4 TPLP)
(SAT)
SAT Modulo Well-Founded Semantics · Session I: Beyond Propositional SAT
(ICLP)
Session Chair — Block 12 (1 RPR + 6 TC)
(LINDA)
The Never-Ending Issue of Inconsistency Handling: Past and Future from a KR Perspective · Invited talk 2
Pages in this Program
Program
Program on Saturday, 18 July 2026
ASPOCP on Saturday, 18 July 2026
ASPOCP Program
Program on Sunday, 19 July 2026
JoeFest on Sunday, 19 July 2026
JoeFest Program
Program on Tuesday, 21 July 2026
ICLP on Tuesday, 21 July 2026
ICLP Program
Program on Wednesday, 22 July 2026
SAT on Wednesday, 22 July 2026
SAT Program
Program on Thursday, 23 July 2026
ICLP on Thursday, 23 July 2026
Program on Friday, 24 July 2026
LINDA on Friday, 24 July 2026
LINDA Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑