Media type: E-Article Title: Lecture Notes in Computer Science: On the Design of a Natural Logic System for Knowledge Bases Contributor: Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer Published: Springer International Publishing, 2020 Published in: Lecture Notes in Computer Science (2020), Seite 413-421 Language: Not determined DOI: 10.1007/978-3-030-59491-6_39 ISBN: 9783030594909; 9783030594916 ISSN: 0302-9743; 1611-3349 Origination: Footnote: