Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals.

Alexis Bès Christian Choffrut

Published in: CoRR (2018)

Keyphrases

query answering
description logics
finite number
genetic algorithm
artificial intelligence
automatically generated
data sets
data mining
case study
video sequences
automatically generating