Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic






Author(s): Fuenmayor Pelaez, David  ; Benzmüller, Christoph  
Title of the compilation: KI 2017: Advances in Artificial Intelligence
Title of the Journal: Lecture Notes in Artificial Intelligence
Editors: Kern-Isberner, G., Fürnkranz, J., Thimm, M.
ISSN: 1611-3349, 0302-9743
Conference: 40th Annual German Conference on AI, Dortmund, Germany
Publisher Information: Cham : Springer
Year of publication: 2017
Volume: 10505
Pages: 114-127
ISBN: 978-3-319-67190-1
978-3-319-67189-5
Series ; Volume: Lecture Notes in Computer Science
Language(s): English
DOI: 10.1007/978-3-319-67190-1_9
Peer Reviewed: Ja
International Distribution: Ja
Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/55966
Release Date: 14. October 2022