Some Useful 16-Valued Logics: How a Computer Network Should Think.
Yaroslav ShramkoHeinrich WansingPublished in: J. Philos. Log. (2005)
Keyphrases
- computer networks
- valued logic
- classical logic
- propositional logic
- datalog programs
- fuzzy sets
- fuzzy logic
- truth values
- network security
- first order logic
- network traffic
- data transmission
- logic programs
- communication networks
- computer systems
- multi valued
- automated reasoning
- stable models
- intrusion detection system
- computer networking
- logic programming
- decision making
- data mining
- conjunctive queries
- machine learning
- neural network
- belief revision
- query answering
- database
- data exchange
- intrusion detection
- real time