Papers

2025

The Stable Model Semantics for Higher-Order Logic Programming, Bogaerts, B., Charalambidis, A., Chatziagapis, G., Kostopoulos, B., Pollaci, S., Rondogiannis, P., Jan 2025, in Theory and Practice of Logic Programming.

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory, Pollaci, S., Kostopoulos, B., Denecker, M., Bogaerts, B., Oct 2024, in Logic Programming and Nonmonotonic Reasoning: LPNMR 2024.
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory (Extended Version), Pollaci, S., Kostopoulos, B., Denecker, M., Bogaerts, B., Sept 2024, in arXiv.
Towards a Unifying View on Monotone Constructive Definitions, Vanbesien, L., Pollaci, S., Bogaerts, B., Denecker, M., Jul 2024, in Artificial Intelligence and Image Analysis: 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8–10, 2024, Revised Selected Papers.

Mathematical Foundations for Joining Only Knowing and Common Knowledge, Cramer, M., Pollaci, S., Bogaerts, B., Sep 2023, in Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning.
Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version), Cramer, M., Pollaci, S., Bogaerts, B., Jun 2023, in arXiv.
Spurious Valleys and Clustering Behavior of Neural Networks, Pollaci, S., Jul 2023, in Proceedings of the 40th International Conference on Machine Learning.

Multi-Objective Scheduling for Agricultural Interventions, Röpke, W., Pollaci, S., Vandenbogaerde, B., Li, J., & Coppens, Y., Nov 2022, in BNAIC/BeNeLearn 2022