Sotabase

Career

· Master of Science in Mathematics, Bonn University2022–
· PhD student at the Artificial Intelligence Lab Brussels, Vrije Universiteit Brussels (VUB)2022–
· PhD Studies in Computer Science, Vrije Universiteit Brussels (VUB)2022–
· Bachelor of Science in Mathematics, Genoa University2019–
· PhD Student, KU Leuven
· Exchange Student, Stockholm University

Publications (18)

The Stable Model Semantics for Higher-Order Logic Programming
Theory and Practice of Logic Programming · 2024
2
cited
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory (Extended Version)
International Conference on Logic Programming and Non-Monotonic Reasoning · 2024
1
cited
Fixpoint Semantics for DatalogMTL with Negation
Electronic Proceedings in Theoretical Computer Science · 2026
1
cited
Spurious Valleys and Clustering Behavior of Neural Networks
International Conference on Machine Learning · 2023
1
cited
A Category-Theoretic Perspective on Approximation Fixpoint Theory
Electronic Proceedings in Theoretical Computer Science · 2025
Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version)
International Conference on Principles of Knowledge Representation and Reasoning · 2023
SAT-Based Enumeration Of Solutions To The Yang-Baxter Equation
Towards a Unifying View on Monotone Constructive Definitions
International Symposium on Artificial Intelligence and Mathematics · 2024
Sotabase
Samuele Pollaci | Researcher Profile | Sotabase | Sotabase