Presentation
KRRT: Knowledge Representation and Reasoning Tutor System
Author/s | Alonso Jiménez, José Antonio
Aranda, Gonzalo A. Martín Mateos, Francisco Jesús |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2007 |
Deposit Date | 2019-05-20 |
Published in |
|
ISBN/ISSN | 978-3-540-75866-2 0302-9743 |
Abstract | Knowledge 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 ... Knowledge 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. |
Project ID. | TIN2004–03884 |
Citation | Alonso 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. |