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

Fuenmayor, David; Benzmüller, Christoph

doi:10.1007/978-3-319-67190-1_9

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

Fuenmayor, David; Benzmüller, Christoph
In: KI 2017: Advances in Artificial Intelligence. Kern-Isberner, G., Fürnkranz, J., Thimm, M. (Eds)
Cham : Springer, 2017. p. 114-127
DOI: 10.1007/978-3-319-67190-1_9

Details

Author(s):	Fuenmayor, 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