KRRT: Knowledge Representation and Reasoning Tutor System

Alonso Jiménez, José Antonio; Aranda, Gonzalo A.; Martín Mateos, Francisco Jesús

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

Ponencia

dc.creator	Alonso Jiménez, José Antonio	es
dc.creator	Aranda, Gonzalo A.	es
dc.creator	Martín Mateos, Francisco Jesús	es
dc.date.accessioned	2019-05-20T10:27:21Z
dc.date.available	2019-05-20T10:27:21Z
dc.date.issued	2007
dc.identifier.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.
dc.identifier.isbn	978-3-540-75866-2	es
dc.identifier.issn	0302-9743	es
dc.identifier.uri	https://hdl.handle.net/11441/86541
dc.description.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.	es
dc.description.sponsorship	Ministerio de Educación y Ciencia TIN2004–03884	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Springer	es
dc.relation.ispartof	EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory (2007), p 400-407
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	KRRT: Knowledge Representation and Reasoning Tutor System	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dc.type.version	info:eu-repo/semantics/submittedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial	es
dc.relation.projectID	TIN2004–03884	es
dc.relation.publisherversion	https://link.springer.com/chapter/10.1007/978-3-540-75867-9_51	es
dc.identifier.doi	10.1007/978-3-540-75867-9_51	es
dc.contributor.group	Universidad de Sevilla. TIC137: Lógica, Computación e Ingeniería del Conocimiento	es
idus.format.extent	8	es
dc.publication.initialPage	400	es
dc.publication.endPage	407	es
dc.eventtitle	EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory	es
dc.eventinstitution	Las Palmas de Gran Canaria, España	es
dc.relation.publicationplace	Berlin	es
dc.identifier.sisius	6517171	es

Ficheros	Tamaño	Formato	Ver	Descripción
KRRT.pdf	514.4Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Ponencias (Ciencias de la Computación e Inteligencia Artificial)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional