T
Tobias Gleißner
Researcher at Free University of Berlin
Publications - 5
Citations - 46
Tobias Gleißner is an academic researcher from Free University of Berlin. The author has contributed to research in topics: Computer science & Modal logic. The author has an hindex of 2, co-authored 2 publications receiving 29 citations.
Papers
More filters
Proceedings ArticleDOI
Theorem Provers For Every Normal Modal Logic
TL;DR: A procedure for algorithmically embedding problems formulated in higherorder modal logic into classical higher-order logic, and can be used as a preprocessor for turning TPTP THF-compliant theorem provers into provers for various modal logics.
Book ChapterDOI
The MET: The Art of Flexible Reasoning with Modalities
Tobias Gleißner,Alexander Steen +1 more
TL;DR: The Modal Embedding Tool (MET) allows to automatically encode higher-order modal logic problems into equivalent problems of classical logic, enabling the use of a broad variety of established reasoning tools.
Journal ArticleDOI
Knowledge Augmented Machine Learning with Applications in Autonomous Driving: A Survey
Julian Wormann,Daniel Bogdoll,Etienne Buhrle,Hang Chen,E 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 Konigshof,Erwin Kraft,Leonie Kreuser,Kevin Krone,T. Latka,Denny Mattern,Stefan Matthes,Moh. Deddy Munir,Moritz Nekolla,Adrian Paschke,Maximilian Pintz,Tianming Qiu,Faraz Qureishi,Syed Tahseen Raza Rizvi,Joerg Reichardt,Laura von Rüden,Stefan Rudolph,A. Sagel,Gerhard Schunk,Hao Shen,Hendrik Stapelbroek,Vera Stehr,Gurucharan Srinivas,Anh Tuan Tran,A.K. Vivekanandan,Ya li Wang,Florian Wasserrab,Tino Werner,Christian Wirth,Stefan Zwicklbauer +45 more
TL;DR: This work provides an overview of existing techniques and methods in the literature that combine data-based models with existing knowledge that are structured according to the categories integration, extraction and conformity.
Journal Article
Automated Reasoning in Non-classical Logics in the TPTP World
TL;DR: The latest extension of the TPTP World is described, providing languages and infrastructure for reasoning in non-classical logics, and integrates seamlessly with the existing TP TP World.
Journal ArticleDOI
Solving QMLTP Problems by Translation to Higher-order Logic
TL;DR: In this paper , the authors describe an evaluation of Automated Theorem Proving (ATP) systems on problems taken from the QMLTP library of first-order modal logic problems.