The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...
The workflow process is often executed in a dynamic environment. This dynamic is classified in several aspects. For this reason, several researches try to give workflow architectur...
Platypus is a constraint-based reasoning engine for synthesis, diagnosis and other recognition tasks. While its target applications are similar to those of many rule-based expert ...