Demo Data from VLDB 2026 / reviewers in the wild / expert
Alexandra Pavlova
dblp:267/0251
· DBLP profile ↗
3ranked-venue papers
1as first author
2since 2021 · last 2026
0000-0002-1877-1167ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 1 since 2021Databases, data management, data science and information retrieval · 1Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021Theory of computation · 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 · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science
epistemic logic |
1.0 | 1 | 2026 | An Epistemic Perspective on Agent Awareness · AAAI 2026 |
Logic in computer science
modal logic |
1.0 | 1 | 2026 | An Epistemic Perspective on Agent Awareness · AAAI 2026 |
Methods — techniques the papers use, named apart from their topics
modal logic · 1.02d-semantics · 1.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | An Epistemic Perspective on Agent AwarenessabstractThe paper proposes to treat object awareness as a form of knowledge, breaking the tradition in the existing literature on awareness. It distinguishes the de re and de dicto forms of such knowledge. The work introduces two modalities capturing these forms and formally specifies their meaning using a version of 2D-semantics. The main technical result is a sound and complete logical system describing the interplay between the two proposed modalities and the standard "knowledge of the fact" modality. Pavel Naumov, Alexandra Pavlova |
AAAI | 2 |
| 2021 | Provability Games for Non-classical Logics
Alexandra Pavlova |
WoLLIC | 1 |
| 2020 | From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
Christian G. Fermüller, Timo Lang, Alexandra Pavlova |
IPMU (1) | 3 |