Keyphrases
- modal operators
- valued logic
- modal logic
- classical logic
- propositional logic
- nonmonotonic logics
- temporal logic
- fuzzy sets
- dynamic logic
- inference rules
- fuzzy logic
- first order logic
- situation calculus
- partially ordered
- truth values
- description logics
- default logic
- datalog programs
- logic programs
- multi valued
- concept description language
- automated reasoning
- high level
- communicative acts
- stable models
- logic programming
- bayesian networks
- genetic algorithm