Keyphrases
- micron cmos
- predicate calculus
- logic programming
- information retrieval
- sound and complete axiomatization
- formal theory
- predicate logic
- quantifier free
- precisely defined
- multiple valued
- constraint language
- database language
- operational semantics
- defeasible logic
- multi valued
- automated reasoning
- floating point
- modal logic
- expert systems
- real time
- classical logic
- arithmetic operations
- definition language
- dynamic logic
- proof theory
- first order logic
- knowledge representation
- machine learning