Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction

Luca Console, Paolo Terenziani, Daniele Theseider Dupré. Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction. IEEE Trans. Knowl. Data Eng., 14(6):1230-1248, 2002. [doi]

Abstract

Abstract is missing.