Evaluating compliance: from LTL to abductive logic programming.

Marco Montali Federico Chesani Marco Gavanelli Evelina Lamma Paola Mello

Published in: CILC (2015)

Keyphrases

abductive logic programming
logic programs
model checking
answer set programming
data complexity
general purpose