A Coalgebraic Decision Procedure for WS1S.

Dmitriy Traytel

Published in: CSL (2015)

Keyphrases

decision making
business process
decision makers
service oriented
decision rules
real time
artificial intelligence
three dimensional
expert systems
decision problems
database
data sets
similarity measure
decision process
decision processes