Keyphrases
- selected papers
- annual conference
- international workshop
- computer science
- formal language
- language learning
- review process
- invited talk
- highly expressive
- learning process
- student learning
- conference proceedings
- programming language
- tutoring system
- logic programming
- predicate calculus
- asia pacific
- learning environment
- dynamic logic
- proof theory
- formal logic
- modal logic
- learning styles
- dagstuhl castle
- conditional logic
- real world
- classical logic
- programs written
- foreign language learning
- databases and information systems
- modal operators
- operational semantics
- situation calculus
- machine learning