Cones, Negation, and All That

Faculty/Professorship: Smart Environments  
Author(s): Lütfü Özçep, Özgür; Leemhuis, Mena; Wolter, Diedrich  
Title of the compilation: KI 2020: Advances in Artificial Intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings
Conference: 43rd German Conference on AI, September 21–25, 2020, Bamberg, Germany
Publisher Information: Cham : Springer International Publishing
Year of publication: 2020
Pages: 235-239
ISBN: 978-3-030-58285-2
Series ; Volume: Lecture Notes in Computer Science ; 12325
Language(s): English
DOI: 10.1007/978-3-030-58285-2_17
Peer Reviewed: Ja
International Distribution: Ja
Type: Conferenceobject
Release Date: 1. September 2022