Login / Signup
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario.
Stefano Bistarelli
Pamela Peretti
Irina Trubitsyna
Published in:
CP (2007)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
normal logic programs
cp nets
sat solvers
soft constraints
stable models