Automatic problem generation in constraint-based tutors

DOI10.1007/3-540-47987-2_42MaRDI QIDQ3046087zbMATH OpenFDO

Authors Brent Martin, Antonija Mitrovic

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2363/23630388.htm

Mathematics Subject Classification ID

Artificial intelligence (68T99) Computing methodologies and applications (68U99)

Recommendations

• Constraint generation via automated theory formation
• Constraint-based tutors: A success story
• Automatic generation of rule-based constraint solvers over finite domains
• Automatic generation of CHR constraint solvers

Cited in

(7)

• Automated generation of exam sheets for automated deduction
• Automated item generation with recurrent neural networks
• Constraint-based tutors: A success story
• WETAS: A web-based authoring system for constraint-based ITS
• Model-based reasoning for domain modeling in a web-based intelligent tutoring system to help students learn to debug C++ programs
• A CLP-based tool for computer aided generation and solving of maths exercises
• User modeling and problem-space representation in the tutor runtime engine

This page was built for publication: Automatic problem generation in constraint-based tutors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3046087)