C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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