with Equality.

Stéphane Demri Beata Konikowska

Published in: JELIA (1998)

Keyphrases

machine learning
video sequences
fixpoint
databases
neural network
database systems
image sequences
multi agent
search algorithm
logic programs
equivalence relation
function symbols