Branching Time as a Conceptual Structure.
Peter ØhrstrømHenrik SchärfeThomas PlougPublished in: ICCS (2010)
Keyphrases
- conceptual structures
- temporal logic
- conceptual knowledge
- formal concept analysis
- model checking
- knowledge organization
- conceptual graphs
- ontology learning
- concept lattice
- computational linguistics
- semantic relations
- knowledge representation
- search engine
- nearest neighbor
- pattern recognition
- data structure
- rough set theory
- classification algorithm
- key concepts
- case based reasoning
- fuzzy logic
- knowledge discovery
- domain knowledge
- information retrieval