Reasoning About Web Services in a Temporal Action Logic.
Alberto MartelliLaura GiordanoPublished in: Reasoning, Action and Interaction in AI Theories and Systems (2006)
Keyphrases
- web services
- formal theory
- practical reasoning
- linear temporal logic
- transition systems
- service oriented
- qualitative reasoning
- modal operators
- spatial and temporal
- web applications
- temporal constraints
- temporal data
- business process
- temporal information
- logic programming
- predicate logic
- reasoning about actions
- quality of service
- human actions
- concurrent actions
- temporal databases
- multi valued
- spatio temporal
- web service descriptions
- proof theory
- web service composition
- spatial reasoning
- temporal patterns
- business processes
- service providers
- loosely coupled
- action selection
- defeasible logic
- description language
- service discovery
- service architecture
- service oriented architecture
- model checking
- space time
- totally ordered