Keyphrases
- classical logic
- logic programming
- inference rules
- valued logic
- theorem prover
- possibilistic logic
- modal logic
- linear logic
- natural deduction
- inconsistent knowledge
- valued semantics
- logic programs
- truth values
- linear programming
- logical framework
- default logic
- expressive power
- propositional calculus
- programming language
- knowledge representation
- knowledge base
- fuzzy numbers
- fuzzy set theory
- nonmonotonic reasoning
- epistemic logic
- possibility theory
- reasoning tasks
- multi valued
- database
- fuzzy sets
- data sets