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.

Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD s

Franco Raimondi, Alessio Lomuscio. Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD s. In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004. pages 53-57, IOS Press, 2004.

Authors

Franco Raimondi

This author has not been identified. Look up 'Franco Raimondi' in Google

Alessio Lomuscio

This author has not been identified. Look up 'Alessio Lomuscio' in Google
runs on