Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation
KARIMI, ARASH, ZHANG, HENG, YOU, JIA-HUAIJournal:
Theory and Practice of Logic Programming
DOI:
10.1017/s1471068420000101
Date:
June, 2020
File:
PDF, 963 KB
2020