22 citations · 36 across the 7 of their papers we have counts for
4 papers · 1 filter
On the convergence of cycle detection for navigational reinforcement learning
Tom J. Ameloot, Jan Van den Bussche
We consider a reinforcement learning framework where agents have to navigate from start states to goal states. We prove convergence of a cycle-detection learning algorithm on a cla…
Putting Logic-Based Distributed Systems on Stable Grounds
Tom J. Ameloot, Jan Van den Bussche, William R. Marczak +2
In the Declarative Networking paradigm, Datalog-like languages are used to express distributed computations. Whereas recently formal operational semantics for these languages have…
Positive Neural Networks in Discrete Time Implement Monotone-Regular Behaviors
Tom J. Ameloot, Jan Van den Bussche
We study the expressive power of positive neural networks. The model uses positive connection weights and multiple input neurons. Different behaviors can be expressed by varying th…
Parallel-Correctness and Transferability for Conjunctive Queries
Tom J. Ameloot, Gaetano Geck, Bas Ketsman +2
A dominant cost for query evaluation in modern massively distributed systems is the number of communication rounds. For this reason, there is a growing interest in single-round mul…