own; Higher Order Logic; Higher Order Modal Logic; Universal Reasoning; Computational Metaphysics
Disciplines :
Philosophie & éthique
Auteur, co-auteur :
Kirchner, Daniel
BENZMÜLLER, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Zalta, Edward N.
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)
Date de publication/diffusion :
2018
Nom de la manifestation :
AITP 2018
Lieu de la manifestation :
Aussois, France
Date de la manifestation :
from 25–03-2018 to 30-03-2018
Manifestation à portée :
International
Titre de l'ouvrage principal :
3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts
