Login / Signup

Cybersecurity policy verification with declarative programming.

Rattikorn HewettPhongphun KijsanayothinStephanie BakMarry Galbrei
Published in: Appl. Intell. (2016)
Keyphrases
  • declarative programming
  • logic programming
  • model checking
  • optimal policy
  • face verification
  • databases
  • software engineering
  • formal verification
  • expert systems
  • logic programs
  • answer set programming
  • action selection