Keyphrases
- logic programming
- sparse matrix
- feature vectors
- causal models
- modal logic
- databases
- logical language
- probability theory
- vector space
- multi agent
- case study
- machine learning
- feature space
- multi agent systems
- search algorithm
- multiscale
- multi valued
- computational properties
- data mining
- real time
- propositional dynamic logic