Christoph Redl und Artificial Intelligence - Info zur Person

(1 - 11 von 13

)

Christoph Redl | Websitecredl.eu

www.credl.eu

Christoph Redl. A picture of me. Computer Scientist in Artificial Intelligence. Senior Lecturer and Researcher at University of Applied Sciences Technikum Wien Christoph Redl. A picture of me. Computer Scientist in Artificial Intelligence. Senior Lecturer and Researcher at University of Applied Sciences Technikum Wien

ECAI 2014: 21st European Conference on Artificial Intelligencegoogle.de

books.google.de

... Christoph Redl, 'Liberal safety for answer set programs with external sources', in Proc. 27th Conf. Artificial Intelligence (AAAI '13), eds., M. desJardins ...

Logics in Artificial Intelligence: 16th European Conference, ...google.de

books.google.de

... Christoph Redl, Antonius Weinzierl and the anonymous reviewers for feedback about the hexlite system and this manuscript. This work has received funding ...

Logics in Artificial Intelligence: 16th European Conference, JELIA ...books.google.com › books

books.google.com

We are grateful to Stefano Germano, Tobias Kaminski, Christoph Redl, Antonius Weinzierl and the anonymous reviewers for feedback about the hexlite system ...

ECAI 2014: 21st European Conference on Artificial Intelligence -...

books.google.com.pa

[5] Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl, 'Liberal safety for answer set programs with external sources', in Proc. 27th Conf.

dblp: Journal of Artificial Intelligence Research, Volume 49

dblp.dagstuhl.de

Bibliographic content of Journal of Artificial Intelligence Research, Volume 49

Alle Infos zum Namen "Christoph Redl"

Conflict-driven ASP Solving with External Sources and ...IJCAI

www.ijcai.org

Christoph Redl. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Main track. Pages https://doi.org ... Christoph Redl. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Main track. Pages https://doi.org ...