Services in Smart Manufacturing: Comparing Automated Reasoning Techniques for Composition and Orchestration.
Flavia MontiLuciana SiloFrancesco LeottaMassimo MecellaPublished in: SummerSOC (2023)
Keyphrases
- automated reasoning
- web services
- web service composition
- reasoning systems
- theorem proving
- knowledge representation
- composition of web services
- theorem prover
- web services composition
- reasoning tasks
- decision procedures
- service oriented architecture
- service composition
- bpel ws
- probabilistic reasoning
- service oriented
- knowledge representation and reasoning
- service providers
- service description
- smart spaces
- home environments
- ubiquitous environments
- ubiquitous computing
- composite services
- enabling technologies
- artificial intelligence
- smart environments
- service discovery
- semantic web services
- propositional satisfiability
- business processes
- neural network
- belief revision
- logic programming
- general purpose
- software engineering
- fuzzy logic
- smart objects
- high level