Semantic Labelled Tableaux for Propositional BI.
Didier GalmicheDaniel MéryPublished in: J. Log. Comput. (2003)
Keyphrases
- business intelligence
- semantic web
- proof procedure
- natural language
- semantic relationships
- first order logic
- high level
- knowledge discovery
- knowledge management
- information retrieval
- semantic features
- functional dependencies
- semantic similarity
- propositional logic
- semantic information
- neural network
- semantic description
- semantic knowledge
- default logic
- decision making
- machine learning
- visual features
- decision support
- case study