Keyphrases
- propositional logic
- logical theories
- consistency checking
- logical formulas
- temporal consistency
- regular expressions
- knowledge base
- global constraints
- website
- logical structure
- probabilistic knowledge
- logical reasoning
- artificial intelligence
- theoretical framework
- multi valued
- neural network
- formal models
- logical representation
- logical operations