Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions
scientific article; zbMATH DE number 2146282