Virginie Fiutek

dblp:198/2095 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
1since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021
YearPublicationVenuePosition
2026 Suspending Judgement: Belief Contraction in Dynamic Epistemic Logic
abstract
We look at multi-agent versions of three different belief contraction operations (severe withdrawal, conservative contraction and moderate contraction), considering them as dynamic operations on plausibility models, meant to represent joint actions of “suspension of belief” by groups of agents (or by individual agents). We provide sound and complete axiomatizations, in the presence of standard static operators such as conditional belief, knowledge and safe belief.
Alexandru Baltag, Virginie Fiutek, Sonja Smets
KR2
2016 Beliefs and Evidence in Justification Models
Alexandru Baltag, Virginie Fiutek, Sonja Smets
Advances in Modal Logic2