Alonso Jiménez, José AntonioAranda, Gonzalo A.Martín Mateos, Francisco Jesús2019-05-202019-05-202007Alonso Jiménez, J.A., Aranda, G.A. y Martín Mateos, F.J. (2007). KRRT: Knowledge Representation and Reasoning Tutor System. En EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory (400-407), Las Palmas de Gran Canaria, España: Springer.978-3-540-75866-20302-9743https://hdl.handle.net/11441/86541Knowledge Representation & Reasoning (KR&R) is a fundamental topic in Artificial Intelligence. A basic KR language is First– Order Logic (FOL), the most representative logic–based representation language, which is part of almost any introductory AI course. In this work we present KRRT (Knowledge Representation & Reasoning Tutor). KRRT is a Web–based system which main goal is to help the student to learn FOL as a KR&R language.application/pdfengAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/openAccesshttps://doi.org/10.1007/978-3-540-75867-9_51