The Distributivity on Bi-Approximation Semantics.

Tomoyuki Suzuki

Published in: Notre Dame J. Formal Log. (2016)

Keyphrases

business intelligence
error bounds
formal semantics
logic programming
semantic information
efficient computation
artificial intelligence
approximation error
relative error
approximation algorithms
case study
database
knowledge discovery
web services
social networks
approximation methods
approximation schemes