Login / Signup

Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario.

Stefano BistarelliPamela PerettiIrina 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