Login / Signup
On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles.
Elio Damaggio
Richard Hull
Roman Vaculín
Published in:
Inf. Syst. (2013)
Keyphrases
</>
fixpoint semantics
datalog programs
logic programs
deductive databases
fixpoint
business intelligence
closed world assumption
data mining
model theoretic
business rules
artificial intelligence
software engineering
answer sets
data complexity