Login / Signup

Introducing undecidability.

Judith Gal-EzerDvir LanzbergDaphna Shahak
Published in: ITiCSE (2004)
Keyphrases
  • description logics
  • moving objects
  • domain independent
  • answering queries