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.

Algorithms for Guiding Clausal Temporal Resolution

M. Carmen Fernández Gago, Michael Fisher, Clare Dixon. Algorithms for Guiding Clausal Temporal Resolution. In Matthias Jarke, Jana Koehler, Gerhard Lakemeyer, editors, KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings. Volume 2479 of Lecture Notes in Computer Science, pages 235-252, Springer, 2002. [doi]

Authors

M. Carmen Fernández Gago

This author has not been identified. Look up 'M. Carmen Fernández Gago' in Google

Michael Fisher

This author has not been identified. Look up 'Michael Fisher' in Google

Clare Dixon

This author has not been identified. Look up 'Clare Dixon' in Google
runs on