Formalizing Workflows Using the Event Calculus.
Nihan Kesim CicekliYakup YildirimPublished in: DEXA (2000)
Keyphrases
- event calculus
- situation calculus
- reasoning about actions and change
- temporal reasoning
- partially ordered
- commonsense reasoning
- reasoning tasks
- deductive databases
- transitive closure
- domain specific knowledge
- web services
- directed acyclic graph
- partial order
- domain independent
- indirect effects
- machine learning
- temporal information
- initial state
- action theories
- description logics