- Foundations of Metaphysical Cosmology : Type System and Computational Experimentation.Elliott Bonal - manuscriptdetails
|
|
Artificial Intelligence and in God's Existence: Connecting Philosophy of Religion and Computation.Andrea Vestrucci - 2022 - Zygon 57 (4):1000-1018.details
|
|
Computer verification for historians of philosophy.Landon D. C. Elkind - 2022 - Synthese 200 (3):1-28.details
|
|
Formal Methods.Richard Pettigrew - manuscriptdetails
|
|
Зеркало Клио: Метафизическое Постижение Истории.Алексей Владиславович Халапсис - 2017 - Днипро, Днепропетровская область, Украина, 49000:details
|
|
Can Computers Help to Sharpen our Understanding of Ontological Arguments?Christoph Benzmüller & David Fuenmayor - 2018 - In Christoph Benzmüller & David Fuenmayor (eds.), Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science Spiritual Quest, 6-7 October, 2018, IIT Bhubaneswar, Bhubaneswar, India. The Bhaktivedanta Institute. pp. 195226.details
|
|
Automating Leibniz's Theory of Concepts.Jesse Alama, Paul Edward Oppenheimer & Edward Zalta - 2015 - In Felty Amy P. & Middeldorp Aart (eds.), Automated Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: Springer. Springer. pp. 73-97.details
|
|
Recent Developments in Computing and Philosophy.Anthony F. Beavers - 2011 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 42 (2):385-397.details
|
|
Computational Meta-Ethics: Towards the Meta-Ethical Robot.Gert-Jan C. Lokhorst - 2011 - Minds and Machines 21 (2):261-274.details
|
|
A computationally-discovered simplification of the ontological argument.Paul Oppenheimer & Edward N. Zalta - 2011 - Australasian Journal of Philosophy 89 (2):333 - 349.details
|
|
Computer Science and Metaphysics: A Cross-Fertilization.Edward N. Zalta, Christoph Benzmüller & Daniel Kirchner - 2019 - Open Philosophy 2 (1):230-251.details
|
|
Computational Philosophy.Patrick Grim & Daniel Singer - 2024 - Stanford Encyclopedia of Philosophy.details
|
|
(1 other version)Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Relations vs functions at the foundations of logic: type-theoretic considerations.Paul Oppenheimer & Edward N. Zalta - 2011 - Journal of Logic and Computation 21:351-374.details
|
|
A Structured Argumentation Framework for Modeling Debates in the Formal Sciences.Marcos Cramer & Jérémie Dauphin - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):219-241.details
|
|
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic.Fuenmayor David & Benzmüller Christoph - 2017 - In David Fuenmayor & Christoph Benzmüller (eds.), KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI. Springer International Publishing.details
|
|