Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Computer Science and Metaphysics: A Cross-Fertilization., , and . CoRR, (2019)A German Corpus of Reflective Sentences., , , , , and . ICON, page 593-600. NLP Association of India (NLPAI), (2021)Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results., and . ARQNL@IJCAR, volume 3326 of CEUR Workshop Proceedings, page 92-108. CEUR-WS.org, (2022)There Is No Best -Normalization Strategy for Higher-Order Reasoners., and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 329-339. Springer, (2015)Presenting Proofs with Adapted Granularity, and . KI 2009: Advances in Artificial Intelligence, 5803, page 289-279. Berlin Heidelberg, Springer Verlag, (2009)Theorem Proving in Dependently-Typed Higher-Order Logic., , and . CADE, volume 14132 of Lecture Notes in Computer Science, page 438-455. Springer, (2023)Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection., , , and . EACL (Demonstrations), page 44-51. Association for Computational Linguistics, (2024)Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations., and . FroCos, volume 11715 of Lecture Notes in Computer Science, page 112-128. Springer, (2019)The Higher-Order Prover Leo-III (Extended Abstract)., and . KI, volume 11793 of Lecture Notes in Computer Science, page 333-337. Springer, (2019)Mathematical Proof Between Generations., , , , , , , , , and . CoRR, (2022)