Incremental Tabling in Support of Knowledge Representation and Reasoning

Terrance Swift. Incremental Tabling in Support of Knowledge Representation and Reasoning. TPLP, 14(4-5):553-567, 2014. [doi]

Abstract

Abstract is missing.