dc.creator | Aranda Corral, Gonzalo A. | es |
dc.creator | Borrego Díaz, Joaquín | es |
dc.creator | Chávez González, Antonia María | es |
dc.date.accessioned | 2018-05-30T05:30:03Z | |
dc.date.available | 2018-05-30T05:30:03Z | |
dc.date.issued | 2007 | |
dc.identifier.citation | Aranda Corral, G.A., Borrego Díaz, J. y Chávez González, A.M. (2007). Learning Services Based on Formal Concept Reasoning. En IADIS International Conference Intelligent Systems and Agents 2007 (183-188), Lisboa, Portugal: IADIS: International Association for Development of the Information Society. | |
dc.identifier.isbn | 9789728924973 | es |
dc.identifier.uri | https://hdl.handle.net/11441/75409 | |
dc.description.abstract | A formal foundation of automated service discovering for Semantic Web is proposed. The approach is based on the
formalization of the problem using an agent oriented programming language (ConGolog), as well as on the use of the
Formal Concept Analysis as a tool for knowledge extraction. | es |
dc.description.sponsorship | Ministerio de Educación y Ciencia TIN 2004- 03884 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | IADIS: International Association for Development of the Information Society | es |
dc.relation.ispartof | IADIS International Conference Intelligent Systems and Agents 2007 (2007), p 183-188 | |
dc.rights | Atribución-NoComercial-SinDerivadas 3.0 Estados Unidos de América | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Ontological Engineering | es |
dc.subject | Semantic web services | es |
dc.subject | Formal concept analysis | es |
dc.subject | Situation Calculus | es |
dc.subject | ConGolog | es |
dc.title | Learning Services Based on Formal Concept Reasoning | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | 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 | TIN 2004- 03884 | es |
dc.relation.publisherversion | http://www.iadisportal.org/digital-library/learning-services-based-on-formal-concept-reasoning | es |
dc.contributor.group | Universidad de Sevilla. TIC137: Logica, Computacion e Ingenieria del Conocimiento | es |
idus.format.extent | 6 | es |
dc.publication.initialPage | 183 | es |
dc.publication.endPage | 188 | es |
dc.eventtitle | IADIS International Conference Intelligent Systems and Agents 2007 | es |
dc.eventinstitution | Lisboa, Portugal | es |
dc.relation.publicationplace | Lisboa, Portugal | es |
dc.contributor.funder | Ministerio de Educación y Ciencia (MEC). España | |