Login / Signup

Blockchain Meets Formal Logic: Semantics Level Cybersecurity Challenges.

Nouredine TamaniSaad El Jaouhari
Published in: CSNet (2022)
Keyphrases
  • formal logic
  • logic programming
  • predicate logic
  • lessons learned
  • knowledge base
  • databases
  • artificial intelligence
  • case study
  • natural language processing
  • logic programs