• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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