Deriving Inference Rules for Terminological Logics

  • Authors:
  • Véronique Royer;Joachim Quantz

  • Affiliations:
  • -;-

  • Venue:
  • JELIA '92 Proceedings of the European Workshop on Logics in AI
  • Year:
  • 1992

Quantified Score

Hi-index 0.00

Visualization

Abstract