← Authors

Emiliano Lorini

14 papers · 2016–2025 · 2 conferences · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🌈 Renaissance Researcher (6) πŸŒ‰ Interdisciplinary Bridge πŸ—ΊοΈ Taxonomy Completionist (19) 🌍 Conference Polyglot (2) πŸƒ Academic Marathon (9) 🐝 Cross-Pollinator (7) πŸ’Ž Century Club (14) πŸ”₯ Unstoppable (10) πŸ—ƒοΈ Keyword Collector (55)

Conferences

IJCAI (12) AAAI (2)

Top co-authors

Andreas Herzig (4) François Schwarzentruber (4) Dominique Longin (3) Umberto Grandi (2) Elise Perrotin (2) Timothy Parker (2) Tiago de Lima (2) Frédéric Maris (2) Dmitry Rozplokhas (1) Arianna Novaro (1)

Keywords

modal logic (5) model checking (5) counterfactual reasoning (2) causal reasoning (2) belief revision (2) linear temporal logic (2) propositional logic (2) belief base (2) automated reasoning (1) satisfiability problem (1) formal methods (1) structural equation modeling (1) social choice (1) sat solver (1) multi-agent planning (1) computational complexity (1) autonomous system (1) causal explanation (1) automata theory (1) causal model (1)

Papers

Responsibility Anticipation and Attribution in LTLf IJCAI 2025
A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals IJCAI 2025
A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025
Model Checking Causality IJCAI 2024
Moral Planning Agents with LTL Values IJCAI 2023
A Rule-Based Modal View of Causal Reasoning IJCAI 2023
A Computationally Grounded Logic of 'Seeing-to-it-that' IJCAI 2022
Multi-Agent Belief Base Revision IJCAI 2021
A Simple Framework for Cognitive Planning AAAI 2021
TouIST: a Friendly Language for Propositional Logic and More IJCAI 2020
Stratified Evidence Logics IJCAI 2019
Goal-Based Collective Decisions: Axiomatics and Computational Complexity IJCAI 2018
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) IJCAI 2017
Epistemic Boolean Games Based on a Logic of Visibility and Control IJCAI 2016