Keyphrases
- physical sciences
- mechanical engineering
- computer science
- electrical engineering
- engineering education
- artificial intelligence
- industrial engineering
- engineering design
- software engineering
- logic programming
- virtual laboratory
- interdisciplinary field
- modal logic
- science education
- computational properties
- proof theory
- automated reasoning
- classical logic
- multi valued
- engineering courses
- predicate logic
- sound and complete axiomatization
- natural deduction
- epistemic logic
- data sets
- truth values
- engineering problems
- nonmonotonic logics
- set theory
- science learning
- subject matter
- social sciences
- learning tools
- computational intelligence
- neural network