Gaia Belardinelli

12 papers A* 1A 1B 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version).
CoRR
Gaia Belardinelli, Thomas Bolander, Sebastian Watzl
2025 A* conf
A Logic of General Attention Using Edge-Conditioned Event Models.
IJCAI
Gaia Belardinelli, Thomas Bolander, Sebastian Watzl
2023 A conf
Attention! Dynamic Epistemic Logic Models of (In)attentive Agents.
AAMAS
Gaia Belardinelli, Thomas Bolander
2023 J jnl
Attention! Dynamic Epistemic Logic Models of (In)attentive Agents.
CoRR
Gaia Belardinelli, Thomas Bolander
2023 J jnl
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models.
J. Log. Comput.
Gaia Belardinelli, Rasmus K. Rendsvig
2023 B conf
Implicit Knowledge in Unawareness Structures - Extended Abstract.
TARK
Gaia Belardinelli, Burkhard C. Schipper
2023 J jnl
Implicit Knowledge in Unawareness Structures.
CoRR
Gaia Belardinelli, Burkhard C. Schipper
2021 J jnl
Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models.
CoRR
Gaia Belardinelli, Rasmus K. Rendsvig
2021 — conf
Epistemic Planning with Attention as a Bounded Resource.
LORI
Gaia Belardinelli, Rasmus K. Rendsvig
2021 J jnl
Epistemic Planning with Attention as a Bounded Resource.
CoRR
Gaia Belardinelli, Rasmus K. Rendsvig
2020 — conf
Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model.
DaLí
Gaia Belardinelli, Rasmus K. Rendsvig
2020 J jnl
Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model.
CoRR
Gaia Belardinelli, Rasmus K. Rendsvig
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling