Emiliano Lorini
14 papers · 2016–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
๐งญ 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
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