Behavioural Equivalence Relations Induced by Programming Logics.
Stephen D. BrookesWilliam C. RoundsPublished in: ICALP (1983)
Keyphrases
- equivalence relation
- rough set theory
- rough sets
- numerical data
- concept lattice
- rough set approximations
- binary relations
- expressive power
- artificial intelligence
- partial order
- inference rules
- modal logic
- decision table
- granular computing
- computational intelligence
- attribute reduction
- knowledge representation
- information systems
- data sets