KRRT: knowledge representation and reasoning tutor system

Authors:
Jos A. Alonso;Gonzalo A. Aranda;Francisco J. Martn-Mateos
Affiliations:
Departamento de Ciencias de la Computacin e Inteligencia Artificial, Escuela Tcnica Superior de Ingeniera Informtica, Universidad de Sevilla, Sevilla, Spain;Dpto Ingeniera Electrnica, Sistemas Informticos y Automtica, Escuela Politcnica Superior de La Rbida, Universidad de Huelva, Huelva, Spain;Departamento de Ciencias de la Computacin e Inteligencia Artificial, Escuela Tcnica Superior de Ingeniera Informtica, Universidad de Sevilla, Sevilla, Spain
Venue:
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Year:
2007

Citing 4
Cited 0

A tutorial program for propositional logic with human/computer interactive learning

SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
An Intelligent Teaching Assistant System for Logic

ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Jape: A Calculator for Animating Proof-on-Paper

CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Vampire 1.1 (System Description)

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

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.