Sign in

Evaluating Compliance: From LTL to Abductive Logic Programming.

Federico ChesaniMarco GavanelliEvelina LammaPaola MelloMarco Montali
Published in: Fundam. Informaticae (2018)
Keyphrases
  • abductive logic programming
  • logic programs
  • model checking
  • linear temporal logic
  • temporal logic
  • logic programming
  • proof procedure