Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
From Time to Space: The Impact of Linearity in Higher-Order Datalog
Angelos Charalambidis, Babis Kostopoulos, Panos Rondogiannis
We consider a fragment of Higher-Order Datalog with negation and argue that it generalizes the familiar and important fragment of Linear Datalog. We investigate the expressive powe…
cs.PL2025
The Power of Negation in Higher-Order Datalog
Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos +1
We investigate the expressive power of Higher-Order Datalog under both the well-founded and the stable model semantics, establishing tight connections with complexity classe…
cs.PL2024
Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
Kelly Kostopoulou, Angelos Charalambidis, Panos Rondogiannis
Modern machine learning systems represent their computations as dataflow graphs. The increasingly complex neural network architectures crave for more powerful yet efficient program…