Login / Signup

Using Event Calculus to Formalise Policy Specification and Analysis.

Arosha K. BandaraEmil LupuAlessandra Russo
Published in: POLICY (2003)
Keyphrases
  • event calculus
  • artificial intelligence
  • model checking