Keyphrases
- decision support
- knowledge base
- low cost
- multiple representations
- hardware implementation
- data sets
- real time
- formal models
- hardware and software
- uml class diagrams
- reasoning processes
- formal representation
- spatial reasoning
- software systems
- computer systems
- logic programs
- knowledge representation
- artificial intelligence