Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki. Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration. In Aleksandra Gruca, Tadeusz Czachórski, Stanislaw Kozielski, editors, Man-Machine Interactions 3, Proceedings of the 3rd International Conference on Man-Machine Interactions, ICMMI 2013, Brenna, Poland, October 22-25, 2013. Volume 242 of Advances in Intelligent Systems and Computing, pages 361-368, Springer, 2013. [doi]
Abstract is missing.