Login / Signup

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

Adrien Koutsos
Published in: CSF (2019)
Keyphrases
  • set of inference rules
  • inference rules
  • xml keys
  • description logics
  • first order logic
  • knowledge base
  • modal logic