7 search results - page 2 / 2 » A model-prover for constrained dynamic conversations |
IQ
2001
13 years 6 months ago
2001
: Physical and informational works are strongly interrelated in a business process. This facilitates modeling a business process as an integral part of a closed loop information an...
IJCAI
2003
13 years 6 months ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...