C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Blockchain Meets Formal Logic: Semantics Level Cybersecurity Challenges.
Nouredine Tamani
Saad 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