Emiliano Lorini
14 papers · 2016–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (19) 🌍 Conference Polyglot · Bronze 🗃️ Keyword Collector (55)
🔥
Unstoppable · Silver
🌈
Renaissance Researcher
(5)
💎
Century Club · Bronze
Venues
Top co-authors
Research topics
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
A Computationally Grounded Framework for Cognitive Attitudes
AAAI 2025
A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals
IJCAI 2025
Responsibility Anticipation and Attribution in LTLf
IJCAI 2025
Model Checking Causality
IJCAI 2024
A Rule-Based Modal View of Causal Reasoning
IJCAI 2023
Moral Planning Agents with LTL Values
IJCAI 2023
A Computationally Grounded Logic of 'Seeing-to-it-that'
IJCAI 2022
A Simple Framework for Cognitive Planning
AAAI 2021
Multi-Agent Belief Base Revision
IJCAI 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