Aldo Iván Ramírez Abarca

13 papers A 2B 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Ability and knowledge: from epistemic transition systems to labelled stit models.
Auton. Agents Multi Agent Syst.
Alexandra Kuncová, Jan M. Broersen, Hein Duijf, Aldo Iván Ramírez Abarca
2023 B conf
A Logic-Based Analysis of Responsibility.
TARK
Aldo Iván Ramírez Abarca
2023 J jnl
From ATL to Stit.
CoRR
Aldo Iván Ramírez Abarca
2022 — conf
A Stit Logic of Intentionality.
DaLí
Aldo Iván Ramírez Abarca, Jan M. Broersen
2022 A conf
A Stit Logic of Responsibility.
AAMAS
Aldo Iván Ramírez Abarca, Jan M. Broersen
2021 B conf
A Deontic Stit Logic Based on Beliefs and Expected Utility.
TARK
Aldo Iván Ramírez Abarca, Jan M. Broersen
2021 J jnl
Doing without Action Types.
Rev. Symb. Log.
Hein Duijf, Jan M. Broersen, Alexandra Kuncová, Aldo Iván Ramírez Abarca
2021 J jnl
Stit semantics for epistemic notions based on information disclosure in interactive settings.
J. Log. Algebraic Methods Program.
Aldo Iván Ramírez Abarca, Jan M. Broersen
2019 B conf
A Logic of Objective and Subjective Oughts.
JELIA
Aldo Iván Ramírez Abarca, Jan M. Broersen
2019 — conf
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings.
DaLí
Aldo Iván Ramírez Abarca, Jan M. Broersen
2019 J jnl
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings.
CoRR
Aldo Iván Ramírez Abarca, Jan M. Broersen
2018 A conf
Formalising Oughts and Practical Knowledge without Resorting to Action Types.
AAMAS
Jan M. Broersen, Aldo Iván Ramírez Abarca
2018 — conf
Knowledge and Subjective Oughts in STIT Logic.
DEON
Jan M. Broersen, Aldo Iván Ramírez Abarca