Keyphrases
- predicate logic
- network security
- knowledge representation and reasoning
- semantic net
- temporal logic
- predicate calculus
- semantic network
- computational linguistics
- formal logic
- artificial intelligence
- fluent calculus
- lower level
- search engine optimization
- incomplete information
- knowledge discovery
- computer science
- search algorithm
- keywords
- information retrieval