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)Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument., and . CoRR, (2019)Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis., and . CoRR, (2020)Exploring Simplified Variants of Gödel's Ontological Argument in Isabelle/HOL.. Arch. Formal Proofs, (2021)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)Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories., and . PRICAI (1), volume 11670 of Lecture Notes in Computer Science, page 418-432. Springer, (2019)A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument.. KR, page 779-789. (2020)Computer-Supported Analysis of Arguments in Climate Engineering., and . CLAR, volume 12061 of Lecture Notes in Computer Science, page 104-115. Springer, (2020)Computer-Supported Exploration of a Categorical Axiomatization of Modeloids., , , and . RAMiCS, volume 12062 of Lecture Notes in Computer Science, page 302-317. Springer, (2020)