Reasoning about Regular Properties: A Comparative Study.

Tomás Fiedor Lukás Holík Martin Hruska Adam Rogalewicz Juraj Síc Pavol Vargovcík

Published in: CoRR (2023)

Keyphrases

artificial intelligence
desirable properties
qualitative reasoning
databases
case study
image sequences
feature extraction
relational databases
logic programs