Approximation and dependence via multiteam semantics.

Arnaud Durand Miika Hannula Juha Kontinen Arne Meier Jonni Virtema

Published in: Ann. Math. Artif. Intell. (2018)

Keyphrases

formal semantics
information systems
error bounds
semantic representation
databases
learning algorithm
logic programming
approximation error
search engine
knowledge representation
closed form
polygonal approximation
proof theory
logical language