Keyphrases
- e learning
- logic programming
- classical logic
- distance learning
- science education
- scientific knowledge
- symbolic representation
- distance education
- information and communication technologies
- predicate logic
- educational technology
- scientific data
- university level
- high level
- binary decision diagrams
- scientific discovery
- st century
- hong kong
- artificial intelligence
- modal logic
- logic programs
- web based learning
- problem based learning
- lifelong learning
- inference rules
- higher education
- proof theory