External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Evaluating compliance: from LTL to abductive logic programming

Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello. Evaluating compliance: from LTL to abductive logic programming. In Davide Ancona, Marco Maratea, Viviana Mascardi, editors, Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. Volume 1459 of CEUR Workshop Proceedings, pages 101-116, CEUR-WS.org, 2015. [doi]

Authors

Marco Montali

This author has not been identified. Look up 'Marco Montali' in Google

Federico Chesani

This author has not been identified. Look up 'Federico Chesani' in Google

Marco Gavanelli

This author has not been identified. Look up 'Marco Gavanelli' in Google

Evelina Lamma

This author has not been identified. Look up 'Evelina Lamma' in Google

Paola Mello

This author has not been identified. Look up 'Paola Mello' in Google
runs on