Keyphrases
- proof procedure
- propositional logic
- description logics
- theorem proving
- first order logic
- multi valued
- propositional satisfiability
- knowledge representation
- default logic
- horn clauses
- model theoretic
- modus ponens
- data sets
- propositional variables
- predicate calculus
- probabilistic logic
- natural language
- social networks
- genetic algorithm
- data mining
- neural network