Provenance Analysis for Logic and Games.

Erich Grädel Val Tannen

Published in: CoRR (2019)

Keyphrases

quantitative analysis
image analysis
statistical analysis
artificial intelligence
social networks
data analysis
logic programming