AI Education and Logic.
Olga StepánkováPetr StepánekPublished in: Artificial Intelligence in Higher Education (1989)
Keyphrases
- artificial intelligence
- artificial intelligence in education
- computational logic
- formal logic
- logic programming
- distance learning
- higher education
- educational technology
- ai systems
- interactive learning
- machine learning
- information and communication technologies
- modal logic
- case based reasoning
- distance education
- expert systems
- ai researchers
- truth maintenance systems
- intelligent systems
- knowledge based systems
- e learning
- predicate logic
- knowledge representation
- classical logic
- automated reasoning
- web based learning
- hong kong
- mobile learning
- logical framework
- lifelong learning
- primary school
- ai methods
- serious games
- ai technologies
- blended learning
- learning community
- knowledge base
- argumentation theory
- interactive narrative