Keyphrases
- computer algebra
- predicate logic
- human reasoning
- logic programming
- classical logic
- automated reasoning
- computational properties
- sound and complete axiomatization
- mathematical theory
- modal logic
- multi valued
- logical framework
- mathematical models
- defeasible logic
- artificial intelligence
- linear temporal logic
- database
- digital circuits
- mathematical modeling
- logic programs
- mathematical expressions
- machine learning
- formal logic
- data sets