Evaluating a Formal KBS Specification Language.
Frank van HarmelenManfred AbenFidel RuizJoke van de PlasschePublished in: IEEE Expert (1996)
Keyphrases
- specification language
- formal specification
- requirements specification
- description language
- knowledge based systems
- knowledge base
- programming language
- model checking
- symbolic execution
- formal methods
- knowledge representation
- model checker
- knowledge acquisition
- software environment
- real world
- reverse engineering
- production rules
- search algorithm
- cooperative