Dear everybody, remember to come to CLaRAMAS since its very beginning, not to miss the invited talk by Prof. Emiliano Lorini: A Rule-based Modal Framework for Causal Reasoning.
The talk will introduce a rule-based semantics for causal reasoning and a family of modal languages interpreted through this semantics, built around the concept of causal necessity. Prof. Lorini will use these languages to formalize causal concepts, including actual causality and counterfactual conditionals. He will then present techniques for automating these languages, based on model checking. Finally, he will illustrate how these languages and decision procedures can be applied to causal reasoning in the legal domain. Based on a paper recently published in the Journal of Artificial Intelligence Research (JAIR)
🙋🏻♀️ See you in Paphos to lay the ground for causal multi-agent systems! 🚀