A Modal BI Logic for Dynamic Resource Properties.

Jean-René Courtault Didier Galmiche

Published in: LFCS (2013)

Keyphrases

modal logic
nonmonotonic logics
business intelligence
data sets
logic programming
database
genetic algorithm
artificial intelligence
decision support
probability theory
computational properties
formal language
predicate logic