Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic
Author(s): | Fuenmayor, David ![]() ![]() |
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 |