Recycling computed answers in rewrite systems for abduction

Authors:
Fangzhen Lin;Jia-Huai You
Affiliations:
Department of Computer Science, Hong Kong University of Science and Technolog, Clear Water Bay, Kowloon, Hong Kong;Department of Computer Science, University of Alberta, Edmonton, Alberta, Canada
Venue:
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Year:
2003

Citing 3
Cited 0

Extended stable semantics for normal and disjunctive programs

Logic programming
Rewrite systems

Handbook of theoretical computer science (vol. B)
Abduction in logic programming: a new definition and an abductive procedure based on rewriting

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is closely tied to how accurately data values are predicted at runtime. Caching ...