Login / Signup

Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability.

James J. LuV. S. Subrahmanian
Published in: J. Autom. Reason. (1993)
Keyphrases
  • key issues
  • description logics
  • inference rules
  • theorem proving
  • real world
  • computer vision