CAUMEL: A Temporal Logic Based Language for Causal Maps to Explain Agent Behaviors

Aroua Hedhili Sbaï, Wided Lejouad Chaari. CAUMEL: A Temporal Logic Based Language for Causal Maps to Explain Agent Behaviors. In Gordan Jezic, Mario Kusek, Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain, editors, Agent and Multi-Agent Systems: Technologies and Applications - Proceedings of the 8th International Conference, KES-AMSTA 2014, Chania, Greece, June 2014. Volume 296 of Advances in Intelligent Systems and Computing, pages 127-138, Springer, 2014. [doi]

Abstract

Abstract is missing.