Login / Signup

Decidability of a Sound Set of Inference Rules for Computational Indistinguishability.

Adrien Koutsos
Published in: ACM Trans. Comput. Log. (2021)
Keyphrases
  • set of inference rules
  • inference rules
  • xml keys
  • databases
  • machine learning
  • artificial intelligence
  • logic programs