Keyphrases
- logic programming
- network security
- intrusion detection
- modal logic
- automated reasoning
- classical logic
- asynchronous circuits
- expert systems
- predicate logic
- multi valued
- nonmonotonic logics
- inference rules
- advanced research projects agency
- formal theory
- defeasible logic
- real time
- information systems
- data mining
- real world