Tobias Geibinger

Projektass. Dipl.-Ing.

Tobias Geibinger

I am a recipient of a DOC Fellowship of the Austrian Academy of Sciences at the Institute of Logic and Computation at the TU Wien.

I work on notions of explainability in Answer-set Programming (ASP), especially for advanced language features and hybrid forms of ASP, under the supervison of Thomas Eiter. Furthermore, I’m interested in logic in general and particularly in the context of AI.

Before my DOC Fellowship, I was a Project Assistant working with Nysret Musliu on Discrete Optimization for scheduling and related topics like optimization in KRR paradigms or hybrid systems.

Publications

Can be found at the reposiTUm or dblp.

Community Activities

Organisation

  • Web Master for the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
  • Organising committee member of the 6th and 7th Workshop on Trends and Applications of Answer Set Programming (TAASP 2023, TAASP 2024)
  • Organising committee member of the 17th and 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020, 2021)

Program Committees

  • PC Member of the 19th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2025)
  • PC Member of the 39th AAAI Conference on Artificial Intelligence (AAAI 2025)
  • PC Member of the 17th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2024)
  • PC Member of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
  • PC Member of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
  • PC Member of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023)

Reviewing of Scientific Publications

I (sub)reviewed scientific publications for various venues such as JAIR, 4OR, AAAI, ECAI, ICLP, JELIA, ICAART, LPNMR, and CPAIOR.