Ver Financiación - Prisma - Unidad de Bibliometría

Modelo lógico-computacional para la evolución de teorías sobre conceptos formales

Referencia: TIN2009-09492

Tipo: Proyecto de investigación
Programa financiador: Plan Nacional del 2009
Entidad financiadora: Ministerio de Ciencia e Innovación
Ámbito: Nacional
Convocatoria competitiva:
Fecha de inicio: 01/01/2010
Fecha de fin: 31/12/2012
Participantes en la financiación
Nombre Rol
Borrego Díaz, Joaquín Responsable
Aranda Corral, Gonzalo Antonio Investigador/a
Alonso Jiménez, José Antonio Investigador/a
Chávez González, Antonia María Investigador/a
Galán Páez, Juan Contratado
Publicaciones relacionadas
Tipo Año Título Fuente
Artículo 2014 Formally Verified Tableau-Based Reasoners for a Description Logic JOURNAL OF AUTOMATED REASONING
Artículo 2013 Agent-mediated shared conceptualizations in tagging services MULTIMEDIA TOOLS AND APPLICATIONS
Artículo 2013 Complex concept lattices for simulating human prediction in sport JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY
Ponencia 2012 On the complexity of shared conceptualizations ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT I
Artículo 2011 The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics REVISTA DE LA REAL ACADEMIA DE CIENCIAS EXACTAS FISICAS Y NATURALES SERIE A-MATEMATICAS
Ponencia 2010 Mereotopological Analysis of Formal Concepts in Security Ontologies COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS 2010
Ponencia 2010 Reconciling Knowledge in Social Tagging Web Services HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2
Ponencia 2010 Social ontology documentation for knowledge externalization METADATA AND SEMANTIC RESEARCH
Nota: la fuente de financiación de las publicaciones se ha obtenido de WOS