Evaluating Compliance: From LTL to Abductive Logic...

Fundamenta Informaticae 2018 / 03 Vol. 159; Iss. 1-2

Evaluating Compliance: From LTL to Abductive Logic Programming

Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Montali, Marco, Maratea, Marco, Mascardi, Viviana, Ancona, Davide, Pettorossi, Alberto
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
159
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2018-1657
Date:
March, 2018
File:
PDF, 353 KB
english, 2018
Conversion to is in progress
Conversion to is failed