Preserving Contract Satisfiability Under Non-monotonic Composition.

Jonas Westman Mattias Nyberg

Published in: FORTE (2018)

Keyphrases

satisfiability problem
computational complexity
supply chain
np complete
propositional logic
decision making
phase transition
software agents
web service composition
reasoning problems
propositional theories