Babis Kostopoulos

According to our database, Babis Kostopoulos authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

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

Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts

CoRR, 2024

The Stable Model Semantics for Higher-Order Logic Programming.

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

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

Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices.

Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2021

A Cloud-Native NGS Data Processing and Annotation Platform.

Giannis Mouchakis, Babis Kostopoulos, Stasinos Konstantopoulos, Ilias Kanellos, Anargiros Tzerefos, Thanasis Vergoulis, Thodoris Dalamagas

Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2021