Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic
Fuenmayor, David; Benzmüller, Christoph (2017): Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic, in: G. Kern-Isberner Fürnkranz, J., Thimm, M. und G. Kern-Isberner Fürnkranz, J., Thimm, M. (Hrsg.), KI 2017: Advances in Artificial Intelligence, Cham: Springer, S. 114–127, doi: 10.1007/978-3-319-67190-1_9.
Author:
 ; 
Title of the compilation:
KI 2017: Advances in Artificial Intelligence
Editors:
Kern-Isberner, G., Fürnkranz, J., Thimm, M.
Conference:
40th Annual German Conference on AI ; Dortmund, Germany
Publisher Information:
Year of publication:
2017
Pages:
ISBN:
978-3-319-67190-1
978-3-319-67189-5
Series ; Volume:
Lecture Notes in Computer Science ; 10505
Language:
English
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
URI:
Activation date:
October 14, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/55966