Observatorio de I+D+i UPM

Memorias de investigación
Proyecto de I+D+i:
Representación del Conocimiento con Información Negativa - Knowledge Representation with Negative Information
Año:2007
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
El objetivo principal de esta acción integrada entre los grupos BABEL de la UPM y el grupo CENTRIA en la Universidad Nova de Lisboa es el mútuo intercambio de información sobre el respectivo trabajo de ambos grupos para establecer las bases de una cooperación asentada en los temas de interés común: negación en la lógica en general y en la programación lógica en particular.
Internacional
Si
Tipo de proyecto
Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora
Ministerio de Educación y Ciencia
Nacionalidad Entidad
ESPAÑA
Tamaño de la entidad
Desconocido
Fecha concesión
15/03/2006
Esta actividad pertenece a memorias de investigación
Participantes
  • Participante: Manuel Carro Liñares (Facultad de Informática, UPM)
  • Participante: Julio Mariño Carballo (UPM)
  • Participante: Lars-Ake Fredlund (UPM)
  • Participante: Susana Muñoz Hernandez (UPM)
  • Director: Juan Jose Moreno Navarro (UPM)
  • Participante: Angel Herranz Nieva (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)