Login / Signup

Efficient Well-Definedness Checking.

Ádám DarvasFarhad MehtaArsenii Rudich
Published in: IJCAR (2008)
Keyphrases
  • real time
  • data mining
  • real world
  • knowledge base
  • multi agent systems
  • user interface
  • cost effective