The Undecidability of Boolean BI through Phase Semantics.

Dominique Larchey-Wendling Didier Galmiche

Published in: LICS (2010)

Keyphrases

business intelligence
formal semantics
query containment
description logics
data mining
real valued
semantic information
logic programming
artificial intelligence
conceptual graphs
neural network
logic programs
decision making
expressive power
integrity constraints
information retrieval
probabilistic planning