Samuele Pollaci

According to our database, Samuele Pollaci authored at least 9 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Fixpoint Semantics for DatalogMTL with Negation.

Samuele Pollaci

Proceedings of the Proceedings 41st International Conference on Logic Programming, January, 2025

2024

A Category-Theoretic Perspective on Approximation Fixpoint Theory.

Samuele Pollaci

Proceedings of the Proceedings 40th International Conference on Logic Programming, February, 2024

The Stable Model Semantics for Higher-Order Logic Programming.

Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis

Theory Pract. Log. Program., 2024

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory (Extended Version).

Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts

CoRR, 2024

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory.

Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

Towards a Unifying View on Monotone Constructive Definitions.

Linde Vanbesien, Samuele Pollaci, Bart Bogaerts, Marc Denecker

Proceedings of the Artificial Intelligence and Image Analysis, 2024

2023

Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version).

Marcos Cramer, Samuele Pollaci, Bart Bogaerts

CoRR, 2023

Mathematical Foundations for Joining Only Knowing and Common Knowledge.

Marcos Cramer, Samuele Pollaci, Bart Bogaerts

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Spurious Valleys and Clustering Behavior of Neural Networks.

Samuele Pollaci

Proceedings of the International Conference on Machine Learning, 2023