Computer Science and Metaphysics: A Cross-Fertilization

v1v2v3v4 (latest)

Computer Science and Metaphysics: A Cross-Fertilization

1 May 2019

Daniel Kirchner

Christoph Benzmüller

ArXiv (abs)PDF HTML

Papers citing "Computer Science and Metaphysics: A Cross-Fertilization"

7 / 7 papers shown

Title
Automated Kantian Ethics: A Faithful Implementation Lavanya Singh 31 0 0 20 Jul 2022
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof C. Wernhard 16 0 0 21 Oct 2021
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis D. Fuenmayor Christoph Benzmüller 6 1 0 02 Jul 2020
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument Christoph Benzmüller 16 6 0 14 Jan 2020
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument Christoph Benzmüller D. Fuenmayor 16 5 0 20 Oct 2019
Extensional Higher-Order Paramodulation in Leo-III A. Steen Christoph Benzmüller LRM 37 25 0 26 Jul 2019
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support Christoph Benzmüller X. Parent Leendert van der Torre AILaw 13 5 0 25 Mar 2019

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.