Demo Data from EDBT 2026 / reviewers in the wild / expert
Mohammad Hossein Karimian
dblp:411/9089
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Logic in computer science · 50% Automated reasoning and model checking · 50% | |
| Artificial intelligence
1 paper |
Multi-agent systems · 100% |
Topics — the 2 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking › game-based verification
concurrent game structures |
1.0 | 1 | 2026 | Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures · AAAI 2026 |
Logic in computer science › knowledge representation and reasoning
situation calculus |
1.0 | 1 | 2026 | Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures · AAAI 2026 |
Methods — techniques the papers use, named apart from their topics
situation calculus · 2.0game-theoretic logic · 2.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game StructuresabstractResponsibility is a central concept in accountable decision making for multiagent systems. As modern AI systems grow in complexity and autonomy, there is a growing demand for them to address issues in AI ethics, prompting researchers to formalize responsibility from diverse perspectives, including strategic responsibility. However, causal responsibility, i.e. responsibility due to actual causal contribution, has received much less attention. In this paper, we study variants of responsibility attribution from both strategic and causal perspectives within a synchronous game-theoretic logic framework that allows concurrent moves by multiple agents. Our formalization is based on Situation Calculus Synchronous Game Structures (SCSGS). We show that by combining these perspectives, one can obtain novel forms of responsibility attribution that are grounded on actual causation. While doing this, we propose an account of actual causation in SCSGS. We prove that our formalization handles the issues associated with preemption and over-determination well. We also study some key properties of responsibility and demonstrate that causal, strategic, and combined notions of responsibility are extensionally distinct. Mohammad Hossein Karimian, Shakil M. Khan 0001, Yves Lespérance |
AAAI | 1 |