Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL.
George BaryannisDimitris PlexousakisPublished in: ICSOC Workshops (2013)
Keyphrases
- semantic web service composition
- fluent calculus
- situation calculus
- programming language
- reasoning about actions
- predicate logic
- service composition
- model checking
- temporal logic
- web services
- knowledge based systems
- domain specific
- natural language processing
- relational databases
- database systems
- high level
- artificial intelligence