Keyphrases
- predicate logic
- computer science
- computational linguistics
- formal logic
- artificial intelligence
- knowledge representation and reasoning
- lecture notes
- semantic net
- temporal logic
- semantic network
- predicate calculus
- natural language processing
- computer scientists
- data mining
- lower level
- machine learning
- multi agent systems
- information retrieval
- domain independent
- low level
- np hard
- highly expressive