VLDB 2026 Research / reviewers in the wild / expert
Bogdan Macovei
dblp:301/9184
· DBLP profile ↗
4ranked-venue papers
1as first author
4since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Hybrid Many-Sorted Modal Logic with Nominal Terms
Ioana Leustean, Bogdan Macovei |
RAMICS | 2 |
| 2026 | Trace-to-Logic Assurance for Agentic AI: Mining Probabilistic Rules from Message-Action Traces
Ciprian Paduraru, Bogdan Macovei, Alin Stefanescu |
ENASE (1) | 2 |
| 2026 | Training as inference: Using hybrid modal logic for specifying neural networks
Ioana Leustean, Bogdan Macovei |
J. Log. Algebraic Methods Program. | 2 |
| 2025 | Extracting Explainability from Multi-Layer Perceptrons for Binary Classification Problems through Łukasiewicz LogicabstractMulti-Layer Perceptrons are powerful tools for classification, but their lack of transparency poses a significant challenge for in-terpretability. In this paper, we propose a methodology for extracting human-readable explanations from neural networks using Łukasiewicz logic. Our architecture is designed to approximate logical minimum and maximum operations, allowing the model to be trained in a standard way. The final output of the network can be expressed as a disjunctive normal form formula, offering insight about when a class is predicted and what feature constraints apply. We validate our methodology on simple classification problems, focusing on explainability with a reasonable performance. Bogdan Macovei |
KES | 1 |