Keyphrases
- expressive power
- conditional logic
- image sequences
- propositional dynamic logic
- geometric structure
- inference rules
- modal logic
- data sets
- information technology
- social media
- knowledge representation
- object recognition
- search algorithm
- website
- information systems
- policy makers
- geometric reasoning
- proof theoretic
- propositional calculus
- database