Nondeterministic Phase Semantics and the Undecidability of Boolean BI.

Dominique Larchey-Wendling Didier Galmiche

Published in: ACM Trans. Comput. Log. (2013)

Keyphrases

description logics
formal semantics
real valued
finite state
query containment
logic programming
initial state
business intelligence
boolean functions
learning phase
operational semantics
finite automata
probabilistic planning