Login / Signup
Using Event Calculus to Formalise Policy Specification and Analysis.
Arosha K. Bandara
Emil Lupu
Alessandra Russo
Published in:
POLICY (2003)
Keyphrases
</>
event calculus
artificial intelligence
model checking