AUDIP AVM Arsmeteo DCaseLP GCS IFS ILP Live_CD Moodle OO PHD_thesis REWERSE SCORM XFF actions adaptation affordances agents automated_reasoning capabilities choreographies choreography composition conditional_logics conformance curricula curricula_models description_logics elearning emotions folksonomies fractals free_variables goal_directed_proof_procedures goal_preservation image_recognition information_retrieval inheritance_with_exceptions interaction interoperability klm_logics labelled_deductive_systems labelled_tableau_calculi language languages learning_by_doing logic logic_programming machine_learning matchmaking model modeling multimedia neural_networks nonmonotonic_reasoning object_oriented objects ontologies path_planning personalization planning policies powerJava preferential_logics programming protocols prototype qualitative_knowledge reasoning recommendation reinforcement_learning robot roles school selection semantic_web sequent_calculi shaping skill_acquisition tableau tableaux testbeds theorem_proving tutorial validation verification visual_interface web_service web_services