Keyphrases
- design patterns
- predicate logic
- software engineering
- object oriented
- knowledge representation and reasoning
- formal logic
- software design
- software systems
- design principles
- object oriented software
- temporal logic
- computational linguistics
- semantic network
- usage scenarios
- software architecture
- real world
- machine learning
- lower level
- artificial intelligence
- first order logic
- logic programming
- learning objects
- text mining
- low level
- domain knowledge
- model view controller
- order sorted