Inputs, Outputs, and Composition in the Logic of Information Flows
Bibtex record
@inproceedings{KR2020-1, title = {{Inputs, Outputs, and Composition in the Logic of Information Flows}}, author = {Aamer, Heba and Bogaerts, Bart and Surinx, Dimitri and Ternovska, Eugenia and Van den Bussche, Jan}, booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}}, pages = {2--11}, year = {2020}, month = {9}, doi = {10.24963/kr.2020/1}, url = {https://doi.org/10.24963/kr.2020/1}, }