Thomas Eiter

Thomas Eiter

Vienna University of Technology (TU Wien)
kr.tuwien.ac.at의 이메일 확인됨
23946회 인용
knowledge representation and reasoning declarative problem solving artificial intelligence computational logic
Martin Gebser

Martin Gebser

University of Klagenfurt
aau.at의 이메일 확인됨
9765회 인용
Artificial Intelligence Declarative Problem Solving Computational Logic Answer Set Programming
Christian Drescher

Christian Drescher

PhD Student of Computer Science and Engineering, National ICT Australia Ltd (NICTA) and …
nicta.com.au의 이메일 확인됨
567회 인용
Declarative Problem Solving Computational Logic Answer Set Programming Constraint Programming Optimisation
Zeynep G. Saribatur

Zeynep G. Saribatur

Vienna University of Technology
tuwien.ac.at의 이메일 확인됨
276회 인용
knowledge representation and reasoning artificial intelligence declarative problem solving
Tobias Geibinger

Tobias Geibinger

Project Assistant, TU Wien
tuwien.ac.at의 이메일 확인됨
111회 인용
Logic-based AI Non-monotonic Reasoning Explainability Answer-set Programming Declarative Problem Solving