Bogdan Macovei

dblp:301/9184 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2026 Hybrid Many-Sorted Modal Logic with Nominal Terms
Ioana Leustean, Bogdan Macovei
RAMICS2
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 Logic
abstract
Multi-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
KES1