Web Service Mining and Verification of Properties: An Approach Based on Event Calculus.
Mohsen RouachedWalid GaaloulWil M. P. van der AalstSami BhiriClaude GodartPublished in: OTM Conferences (1) (2006)
Keyphrases
- event calculus
- web services
- situation calculus
- temporal reasoning
- partially ordered
- deductive databases
- domain specific knowledge
- data mining
- reasoning tasks
- reasoning about actions and change
- artificial intelligence
- sequential patterns
- case base
- directed acyclic graph
- integrity constraints
- random walk
- database systems
- machine learning