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.

Theta-Subsumption and Resolution: A New Algorithm

Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito. Theta-Subsumption and Resolution: A New Algorithm. In Ning Zhong, Zbigniew W. Ras, Shusaku Tsumoto, Einoshin Suzuki, editors, Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings. Volume 2871 of Lecture Notes in Computer Science, pages 384-391, Springer, 2003. [doi]

Authors

Stefano Ferilli

This author has not been identified. Look up 'Stefano Ferilli' in Google

Nicola Di Mauro

This author has not been identified. Look up 'Nicola Di Mauro' in Google

Teresa Maria Altomare Basile

This author has not been identified. Look up 'Teresa Maria Altomare Basile' in Google

Floriana Esposito

This author has not been identified. Look up 'Floriana Esposito' in Google
runs on