Keyphrases
- linear logic
- fuzzy set theory
- logic programs
- logic programming
- countermeasures
- malicious attacks
- deductive databases
- fuzzy numbers
- interval valued
- attack detection
- classical logic
- stable models
- theorem prover
- horn clauses
- secret key
- datalog programs
- default logic
- encryption algorithm
- predicate logic
- detection mechanism
- partial order
- neural network