Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Uniform Interpolation for ALC Revisited

Uniform Interpolation for ALC Revisited

Zhe Wang‚ Kewen Wang‚ Rodney Topor‚ Jeff Z. Pan and Grigoris Antoniou

Book Title
Proceedings of the 22nd Australasian Conference on Artificial Intelligence
Pages
528−537
Year
2009

Links

See Also

Back to Top