Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
Representación del Conocimiento con Información Negativa - Knowledge Representation with Negative Information
Year:2007
Research Areas
  • Programming language
Information
Abstract
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.
International
Si
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Ministerio de Educación y Ciencia
Entity Nationality
ESPAÑA
Entity size
Desconocido
Granting date
15/03/2006
Participants
  • 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)
Research Group, Departaments and Institutes related
  • 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 2019 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)