Keyphrases
- computer algebra
- formal logic
- predicate logic
- computer science
- modal logic
- affine transformation
- classical logic
- asynchronous circuits
- logic programming
- affine invariant
- multi valued
- piecewise affine
- computational properties
- probabilistic logic
- knowledge base
- logical framework
- automated reasoning
- defeasible logic
- truth values
- information systems
- data mining
- databases
- data sets