Inputs, Outputs, and Composition in the Logic of Information Flows

Heba Aamer, Bart Bogaerts 0001, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche. Inputs, Outputs, and Composition in the Logic of Information Flows. In Diego Calvanese, Esra Erdem 0001, Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. pages 2-11, 2020. [doi]

Abstract

Abstract is missing.