Keyphrases
- kripke models
- modal logic
- inference rules
- desirable properties
- model checking
- formal semantics
- logic programming
- temporal logic
- machine learning
- real world
- neural network
- data sets
- relational databases
- multi agent systems
- decision trees
- database
- semantic relationships
- conceptual graphs
- databases
- semantic representation
- default theories
- update semantics