Planning and Composition of Web Services with Dynamic Constraints Using Situation Calculus.
Ken NariaiIncheon PaikMitsuteru ShinozawaPublished in: CIT (2005)
Keyphrases
- situation calculus
- composition of web services
- dynamic constraints
- blocks world
- web services
- web services composition
- service composition
- knowledge level
- web service composition
- initial state
- action theories
- temporal logic
- modal logic
- sensing actions
- concurrent actions
- reasoning about actions
- planning problems
- plan execution
- functional dependencies
- active rules
- knowledge representation
- highly reliable
- heuristic search
- databases
- service oriented