Keyphrases
- propositional logic
- regular expressions
- topological spaces
- data sets
- distributive lattices
- spatial reasoning
- temporal reasoning
- neural network
- database
- multi agent systems
- artificial neural networks
- user interface
- data model
- pattern matching
- search algorithm
- bayesian networks
- computer vision
- machine learning
- relation algebra