Tobias Gleißner

According to our database, Tobias Gleißner authored at least 5 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Solving QMLTP Problems by Translation to Higher-order Logic.

Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller

CoRR, 2022

Knowledge Augmented Machine Learning with Applications in Autonomous Driving: A Survey.

Julian Wörmann, Daniel Bogdoll, Etienne Bührle, Han Chen, Evaristus Fuh Chuo, Kostadin Cvejoski, Ludger van Elst, Tobias Gleißner, Philip Gottschall, Stefan Griesche, Christian Hellert, Christian Hesels, Sebastian Houben, Tim Joseph, Niklas Keil, Johann Kelsch, Hendrik Königshof, Erwin Kraft, Leonie Kreuser, Kevin Krone, Tobias Latka, Denny Mattern, Stefan Matthes, Mohsin Munir, Moritz Nekolla, Adrian Paschke, Maximilian Alexander Pintz, Tianming Qiu, Faraz Qureishi, Syed Tahseen Raza Rizvi, Jörg Reichardt, Laura von Rüden, Stefan Rudolph, Alexander Sagel, Gerhard Schunk, Hao Shen, Hendrik Stapelbroek, Vera Stehr, Gurucharan Srinivas, Anh Tuan Tran, Abhishek Vivekanandan, Ya Wang, Florian Wasserrab, Tino Werner, Christian Wirth, Stefan Zwicklbauer

CoRR, 2022

Automated Reasoning in Non-classical Logics in the TPTP World.

Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

2018

The MET: The Art of Flexible Reasoning with Modalities.

Tobias Gleißner, Alexander Steen

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

2017

Theorem Provers For Every Normal Modal Logic.

Tobias Gleißner, Alexander Steen, Christoph Benzmüller

Proceedings of the LPAR-21, 2017