Wait-Free Solvability of Equality Negation Tasks.

Éric Goubault Marijana Lazic Jérémy Ledent Sergio Rajsbaum

Published in: DISC (2019)

Keyphrases

real time
data sets
logic programs
logic programming
information retrieval
reinforcement learning
deductive databases
fixpoint