External Links

Cite Key

Statistics

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

PDF

Tags

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.

Verifiable agent interaction in abductive logic programming: The SCIFF framework

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni. Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log., 9(4), 2008. [doi]

Authors

Marco Alberti

This author has not been identified. Look up 'Marco Alberti' 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

Paolo Torroni

This author has not been identified. Look up 'Paolo Torroni' in Google
runs on