Andrzej Skowron, Soma Dutta, Grzegorz Rozenberg. Linking Exploration Systems with Local Logicsover Information Systems. In Bernd-Holger Schlingloff, Samira Akili, editors, Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018. Volume 2240 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
Abstract is missing.