Operational Specification for FCA using Z.
Simon AndrewsSimon PolovinaPublished in: ICCS Supplement (2008)
Keyphrases
- formal concept analysis
- formal concepts
- specification language
- formal specification
- decision making
- concept lattice
- search engine
- case study
- high level
- search algorithm
- reactive systems
- formal verification
- hidden markov models
- multi agent systems
- genetic algorithm
- database systems
- decision trees
- website
- artificial intelligence