Minimal Model Generation Based on E-hyper Tableaux

Wenjin Lu. Minimal Model Generation Based on E-hyper Tableaux. In Gerhard Brewka, Christopher Habel, Bernhard Nebel, editors, KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings. Volume 1303 of Lecture Notes in Computer Science, pages 99-110, Springer, 1997.

Authors

Wenjin Lu

This author has not been identified. Look up 'Wenjin Lu' in Google