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.

Consequence Finding in Default Theories

Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima. Consequence Finding in Default Theories. In Henning Christiansen, Mohand-Said Hacid, Troels Andreasen, Henrik Legind Larsen, editors, Flexible Query Answering Systems, 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004, Proceedings. Volume 3055 of Lecture Notes in Computer Science, pages 459-472, Springer, 2004. [doi]

Authors

Katsumi Inoue

This author has not been identified. Look up 'Katsumi Inoue' in Google

Koji Iwanuma

This author has not been identified. Look up 'Koji Iwanuma' in Google

Hidetomo Nabeshima

This author has not been identified. Look up 'Hidetomo Nabeshima' in Google
runs on