Repositorio de producción científica de la Universidad de Sevilla

KRRT: Knowledge Representation and Reasoning Tutor System

 

Advanced Search
 
Opened Access KRRT: Knowledge Representation and Reasoning Tutor System
Cites

Show item statistics
Icon
Export to
Author: 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
Date: 2007
Published in: EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory (2007), p 400-407
ISBN/ISSN: 978-3-540-75866-2
0302-9743
Document type: Presentation
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 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.
Cite: 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.
Size: 514.4Kb
Format: PDF

URI: https://hdl.handle.net/11441/86541

DOI: 10.1007/978-3-540-75867-9_51

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)