A Technological Approach to Teaching Inequalities, Propositional and Predicate Logic.
Zoltán KovácsReinhard OldenburgPublished in: PAAR+SC²@IJCAR (2024)
Keyphrases
- predicate logic
- predicate calculus
- formal logic
- semantic net
- knowledge representation and reasoning
- first order logic
- propositional logic
- semantic network
- temporal logic
- learning environment
- computational linguistics
- higher education
- artificial intelligence
- lower level
- e learning
- model checking
- default logic
- knowledge representation
- multi agent systems