Login / Signup
Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus.
Mohsen Rouached
Walid Gaaloul
Wil M. P. van der Aalst
Sami Bhiri
Claude Godart
Published in:
OTM Conferences (1) (2006)
Keyphrases
</>
event calculus
web services
situation calculus
deductive databases
reasoning about actions and change
partially ordered
reasoning tasks
temporal reasoning
domain specific knowledge
data mining
knowledge representation
domain specific
itemsets
integrity constraints
temporal databases